João Moreno 04be06ff6f fix skip remote		2020-05-20 15:23:10 +02:00
..
postinstall.js	fix skip remote	2020-05-20 15:23:10 +02:00
preinstall.js
update-all-grammars.js
update-distro.js
update-grammar.js
update-localization-extension.js
update-theme.js