Martin Aeschlimann b8914bcfc7 move install-server

2019-06-19 12:55:52 +02:00

..

postinstall.js

Add /remote/

2019-05-22 15:59:37 +02:00

preinstall.js

Use node 10.15.1 on build machine

2019-02-07 13:05:45 +01:00

update-all-grammars.js

Update grammars

2018-10-23 16:13:27 +02:00

update-grammar.js

Update grammars to pick up make changes

2019-02-06 15:16:49 +01:00

update-localization-extension.js

fix mispell

2019-04-09 13:21:46 +08:00

update-theme.js

Peek view color mixup in update script

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