element-web/scripts
2017-10-26 01:38:07 +01:00
..
check-i18n.pl Merge branch 'develop' into new-guest-access 2017-05-28 22:50:53 +01:00
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 make flags less muddy - fixes https://github.com/vector-im/riot-web/issues/3974 2017-05-29 00:10:08 +01:00
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 fix #3894 2017-05-15 21:14:01 +01:00
redeploy.py Fix debug message to be clearer 2017-09-21 10:26:07 +01:00