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