Christof Marti 40a6563f9b Remove git-ui extension		2021-04-13 21:38:53 +02:00
..
dirs.js	Remove git-ui extension	2021-04-13 21:38:53 +02:00
postinstall.js
preinstall.js
update-all-grammars.js
update-distro.js
update-localization-extension.js