David Baker b4ea938be3 This is the default

2017-09-20 18:17:06 +01:00

..

check-i18n.pl

…

copy-res.js

…

deploy.py

This is the default

2017-09-20 18:17:06 +01:00

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

This is the default anyway

2017-09-20 17:54:52 +01:00