element-web/scripts
2017-10-26 01:38:07 +01:00
..
check-i18n.pl
copy-res.js status homepage 2017-10-26 01:38:07 +01:00
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 fetch-develop-deps: avoid breaking js-sdk 2017-08-08 09:50:49 +01:00
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 Fix debug message to be clearer 2017-09-21 10:26:07 +01:00