mirror of
https://github.com/element-hq/element-web.git
synced 2024-11-30 23:31:28 +03:00
81c0c7bd4f
* 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. |
||
---|---|---|
.. | ||
copy-res.js | ||
deploy.py | ||
electron-package.sh | ||
fetch-develop.deps.sh | ||
genflags.sh | ||
issues-burndown.pl | ||
issues-no-state.pl | ||
jenkins.sh | ||
make-icons.sh | ||
package.sh | ||
redeploy.py |