Martin Aeschlimann b217a7f236 [pug] Use pug grammar & rename language id. Fixes #50086

2018-05-22 10:52:19 +02: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

[pug] Use pug grammar & rename language id. Fixes #50086

2018-05-22 10:52:19 +02: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