3 Commits

Author	SHA1	Message	Date
Jip J. Dekker	44468f0833	Upgrade to Linter API v2	2017-03-18 23:13:08 +01:00
Jip J. Dekker	743a465d63	Adds disabling of linting	2016-01-18 21:18:55 +01:00
Jip J. Dekker	e2e9d97cfb	Adds the linter from linter-mzn to the package	2016-01-10 23:53:12 +01:00