Richard van der Hoff 81c0c7bd4f Various tweaks to fetch-develop-deps ... * tell git to checkout the right branch, rather than cloning and then changing. * clone with depth 1 under travis, to save time. * less pushd/popd, which print out confusing text - use `cd` in a subshell instead. (and just avoid it where possible). * add some markers to the output to let travis roll it up.		2017-06-01 18:18:46 +01:00
..
copy-res.js	Add language picker labels (#4141)	2017-06-01 14:38:36 +01:00
deploy.py	Verify PGP signatures on tarballs when deploying	2017-01-18 22:58:04 +00:00
electron-package.sh	change wording to not confuse users building repo	2017-05-11 17:49:31 +01:00
fetch-develop.deps.sh	Various tweaks to fetch-develop-deps	2017-06-01 18:18:46 +01:00
genflags.sh	genflags.sh should be run from root dir	2017-05-18 11:38:01 +01:00
issues-burndown.pl	change wording to not confuse users building repo	2017-05-11 17:49:31 +01:00
issues-no-state.pl	change wording to not confuse users building repo	2017-05-11 17:49:31 +01:00
jenkins.sh	rev-parse the commit from the deps	2017-05-26 22:52:49 +01:00
make-icons.sh	npm is "smart" enough to try and install our electron wrapper as a module	2017-05-10 13:36:27 +01:00
package.sh	fix #3894	2017-05-15 21:14:01 +01:00
redeploy.py	Verify PGP signatures on tarballs when deploying	2017-01-18 22:58:04 +00:00