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

…

fetch-develop.deps.sh

…

genflags.sh

…

issues-burndown.pl

…

issues-no-state.pl

…

jenkins.sh

…

make-icons.sh

…

package.sh

…

redeploy.py

…