Martin Aeschlimann 8fdf170a08 update grammar script: remove unused properties

2018-02-12 16:54:46 +01:00

..

postinstall.js

enable checkJS

2018-02-01 14:39:12 +01:00

preinstall.js

fixes #38501

2017-11-18 08:30:46 +01:00

update-all-grammars.js

avoid hardcoded extensions list in update all grammars

2018-02-09 12:45:27 +01:00

update-grammar.js

update grammar script: remove unused properties

2018-02-12 16:54:46 +01:00

update-localization-extension.js

enable checkJS

2018-02-01 14:39:12 +01:00

update-theme.js

Peek view color mixup in update script

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