Martin Aeschlimann 3d5c51bc30 postinstall: remove hardcoded extension list

2018-03-18 17:29:53 +01:00

..

postinstall.js

postinstall: remove hardcoded extension list

2018-03-18 17:29:53 +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