This repository has been archived on 2025-03-03. You can view files and clone it, but cannot push or open issues or pull requests.

Jip J. Dekker 4dd7c5861d

Fixes errors being shown in the wrong file

2017-11-29 16:22:37 +11:00

..

init.coffee

Insert linter into a package

2017-11-17 15:01:07 +11:00

linter-mzn.coffee

Fixes errors being shown in the wrong file

2017-11-29 16:22:37 +11:00