3 Commits

Author	SHA1	Message	Date
Jip J. Dekker	07fb10f27e	Upgrade to Linter API v2	2017-03-18 23:13:08 +01:00
Jip J. Dekker	deb978614c	Adds disabling of linting	2016-01-18 21:18:55 +01:00
Jip J. Dekker	68ba9ee827	Adds the linter from linter-mzn to the package	2016-01-10 23:53:12 +01:00