Commit Graph

Select branches

Hide Pull Requests

master

v0.1.0

v0.1.1

v0.1.2

Mono Color

• 2b0e4c5abb
  Prepare 0.1.2 release master v0.1.2 Jip J. Dekker 2017-11-29 16:39:25 +11:00
• 4dd7c5861d
  Fixes errors being shown in the wrong file Jip J. Dekker 2017-11-29 16:22:37 +11:00
• b8ab8ea944
  Prepare 0.1.1 release v0.1.1 Jip J. Dekker 2017-11-17 15:44:54 +11:00
• 554d06c07d
  Update package definition Jip J. Dekker 2017-11-17 15:44:28 +11:00
• b4b81a7aa2
  Fix a typo Jip J. Dekker 2017-11-17 15:19:11 +11:00
• a557e10dc8
  Add initial CHANGELOG Jip J. Dekker 2017-11-17 15:17:26 +11:00
• 5933bc9937
  Prepare 0.1.0 release v0.1.0 Jip J. Dekker 2017-11-17 15:12:01 +11:00
• 39b690acf8
  Add simple README Jip J. Dekker 2017-11-17 15:10:41 +11:00
• 98ddf104e5
  Insert linter into a package Jip J. Dekker 2017-11-17 14:58:32 +11:00
• 0df3d30e12 Improve the error message parsing for underlined errors Jip J. Dekker 2017-11-16 19:13:46 +11:00
• 07fb10f27e Upgrade to Linter API v2 Jip J. Dekker 2017-03-18 23:13:08 +01:00
• 9339de8ab1 Adds column matching to the linter Jip J. Dekker 2016-01-21 15:44:33 +01:00
• deb978614c Adds disabling of linting Jip J. Dekker 2016-01-18 21:18:55 +01:00
• 68ba9ee827 Adds the linter from linter-mzn to the package Jip J. Dekker 2016-01-10 23:53:12 +01:00
• aefc8f60f5 Romeves files that won't be used for now Jip J. Dekker 2015-11-19 22:57:22 +01:00
• a4b0a4d4bb Blank atom package Jip J. Dekker 2015-11-19 22:56:45 +01:00