Jip J. Dekker
|
07fb10f27e
|
Upgrade to Linter API v2
|
2017-03-18 23:13:08 +01:00 |
|
Jip J. Dekker
|
9339de8ab1
|
Adds column matching to the linter
|
2016-01-21 15:44:33 +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 |
|
Jip J. Dekker
|
aefc8f60f5
|
Romeves files that won't be used for now
|
2015-11-19 22:57:22 +01:00 |
|
Jip J. Dekker
|
a4b0a4d4bb
|
Blank atom package
|
2015-11-19 22:56:45 +01:00 |
|