Erich Gamma 5e41d2aafb enable checkJS

2018-02-01 14:39:12 +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

[bat] use grammar from mmims/language-batchfile. Fixes #38206, fixes #3845

2017-11-14 14:35:13 +01:00

update-grammar.js

update grammar: use github token

2017-12-20 17:30:56 +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