merge util/update_theme_repo from dev

This commit is contained in:
Mario Vavti 2018-10-29 10:15:18 +01:00
parent a11d89daa3
commit bf6ef2a588

View File

@ -2,7 +2,6 @@
set -f
set -f
if [ $# -ne 1 ]; then
echo usage: $0 repository