Archived
1
0

16 Commits

Author SHA1 Message Date
2b0e4c5abb
Prepare 0.1.2 release v0.1.2 2017-11-29 16:39:25 +11:00
4dd7c5861d
Fixes errors being shown in the wrong file 2017-11-29 16:22:37 +11:00
b8ab8ea944
Prepare 0.1.1 release v0.1.1 2017-11-17 15:44:54 +11:00
554d06c07d
Update package definition 2017-11-17 15:44:28 +11:00
b4b81a7aa2
Fix a typo 2017-11-17 15:19:11 +11:00
a557e10dc8
Add initial CHANGELOG 2017-11-17 15:17:59 +11:00
5933bc9937
Prepare 0.1.0 release v0.1.0 2017-11-17 15:12:01 +11:00
39b690acf8
Add simple README 2017-11-17 15:10:41 +11:00
98ddf104e5
Insert linter into a package 2017-11-17 15:01:07 +11:00
0df3d30e12 Improve the error message parsing for underlined errors 2017-11-16 19:13:46 +11:00
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