element-web/scripts
Richard van der Hoff c31f66aed5 Jenkins.sh: only fetch head of dependency branches 2017-08-08 09:50:49 +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 Jenkins.sh: only fetch head of dependency branches 2017-08-08 09:50:49 +01:00
make-icons.sh
package.sh
redeploy.py