chiark / gitweb /
gitk: rename to gitk+
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 13 Sep 2018 16:09:10 +0000 (17:09 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 13 Sep 2018 16:09:10 +0000 (17:09 +0100)
scripts/gitk+ [moved from scripts/gitk with 99% similarity]

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