diff options
| author | Mario Vavti <mario@mariovavti.com> | 2018-07-25 10:19:19 +0200 |
|---|---|---|
| committer | Mario Vavti <mario@mariovavti.com> | 2018-07-25 10:19:19 +0200 |
| commit | 1b1d11dcf1091158232e98abad966d4900e2ccc9 (patch) | |
| tree | 380d5e04c73391089bf3d658ea4b27eecffa4916 /util/update_theme_repo | |
| parent | b655d04b3474893ee3dea99b77f2e7dd764729a0 (diff) | |
| parent | 35200e5f1b10cdd18af8f0ea646996e438b97011 (diff) | |
| download | volse-hubzilla-1b1d11dcf1091158232e98abad966d4900e2ccc9.tar.gz volse-hubzilla-1b1d11dcf1091158232e98abad966d4900e2ccc9.tar.bz2 volse-hubzilla-1b1d11dcf1091158232e98abad966d4900e2ccc9.zip | |
Merge branch '3.6RC'
Diffstat (limited to 'util/update_theme_repo')
| -rwxr-xr-x | util/update_theme_repo | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util/update_theme_repo b/util/update_theme_repo index 3a6e3dbd0..3d3cafe84 100755 --- a/util/update_theme_repo +++ b/util/update_theme_repo @@ -2,6 +2,8 @@ set -f +set -f + if [ $# -ne 1 ]; then echo usage: $0 repository echo "Repositories:" |