David Baker 7202556f45 Don't delete dist dir after putting stuff in it		2017-09-06 14:37:57 +01:00
..
check-i18n.pl	…
copy-res.js	…
deploy.py	…
electron-package.sh	Don't delete dist dir after putting stuff in it	2017-09-06 14:37:57 +01:00
fetch-develop.deps.sh	…
genflags.sh	…
issues-burndown.pl	…
issues-no-state.pl	…
jenkins.sh	…
make-icons.sh	…
package.sh	…
redeploy.py	…