chiark / gitweb /
gitk: rename to gitk+
[ian-dotfiles.git] / scripts / gitk+
similarity index 99%
rename from scripts/gitk
rename to scripts/gitk+
index 8b84b3b73ede1f18e4b86f4b306295c94da6a48a..2f16da0741121897a3cc8502043e262cc5537805 100755 (executable)
@@ -70,5 +70,4 @@ while [ $# -ge 1 ]; do case "$1" in
        esac
 done
 
-set -x
 exec /usr/bin/gitk "${opts[@]}" $defshow "$@"