Permalink
Switch branches/tags
Find file
Fetching contributors…
Cannot retrieve contributors at this time
executable file 11 lines (6 sloc) 231 Bytes
#!/bin/bash
(echo "versions([" && git tag | grep "^holy\-.\+$" | sed "s/^/'/g" | sed "s/$/',/g" && echo "'master']);") > WebContent/props/all-versions.js
./util/minify.sh
http_proxy=
https_proxy=
appcfg.py $* update WebContent