element-web/scripts
Matthew Hodgson a46b718b4a copy resources from their new locations 2018-04-13 01:49:52 +01:00
..
check-i18n.pl
copy-res.js copy resources from their new locations 2018-04-13 01:49:52 +01:00
deploy.py This is the default 2017-09-20 18:17:06 +01:00
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 Fix debug message to be clearer 2017-09-21 10:26:07 +01:00