2 Commits

Author	SHA1	Message	Date
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