gitk: rename to gitk+

diff --git a/scripts/gitk b/scripts/gitk+
similarity index 99%
rename from scripts/gitk
rename to scripts/gitk+
index 8b84b3b73ede1f18e4b86f4b306295c94da6a48a..2f16da0741121897a3cc8502043e262cc5537805 100755 (executable)
--- a/scripts/gitk
+++ b/scripts/gitk+
@@ -70,5 +70,4 @@ while [ $# -ge 1 ]; do case "$1" in
        esac
 done
 
        esac
 done
 

-set -x

 exec /usr/bin/gitk "${opts[@]}" $defshow "$@"
 exec /usr/bin/gitk "${opts[@]}" $defshow "$@"