From bf6ef2a5881b3cc12d68e40cca5c4ed874dbf6eb Mon Sep 17 00:00:00 2001
From: Mario Vavti <mario@mariovavti.com>
Date: Mon, 29 Oct 2018 10:15:18 +0100
Subject: merge util/update_theme_repo from dev

---
 util/update_theme_repo | 1 -
 1 file changed, 1 deletion(-)

(limited to 'util/update_theme_repo')

diff --git a/util/update_theme_repo b/util/update_theme_repo
index 3d3cafe84..b4de55568 100755
--- a/util/update_theme_repo
+++ b/util/update_theme_repo
@@ -2,7 +2,6 @@
 
 set -f
 
-set -f
 
 if [ $# -ne 1 ]; then
 	echo usage: $0 repository
-- 
cgit v1.2.3