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	…