Martin Aeschlimann 164e6d4bbc [json] grammar update script for new repo

2017-08-08 16:45:48 +02:00

..

postinstall.js

fixes #29429

2017-06-26 15:15:54 +02:00

preinstall.js

fixes #29429

2017-06-26 15:15:54 +02:00

update-all-grammars.js

[json] grammar update script for new repo

2017-08-08 16:45:48 +02:00

update-grammar.js

Add information_for_contributors to grammars

2017-05-26 09:27:51 +02:00

update-theme.js

Peek view color mixup in update script

2017-04-28 17:59:20 +02:00