From 4a8d7f880e63aab65ec6d929dd4000de4c8b122c Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 13 Sep 2018 17:09:10 +0100
Subject: [PATCH] gitk: rename to gitk+

---
 scripts/{gitk => gitk+} | 1 -
 1 file changed, 1 deletion(-)
 rename scripts/{gitk => gitk+} (99%)

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