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

…