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)
commit4a8d7f880e63aab65ec6d929dd4000de4c8b122c
tree29c70655710dcdb9dffa35f3d66651312405286c
parent0d69a5b019284f07b6d2e1daa9992a96b8e9e532
gitk: rename to gitk+
scripts/gitk+ [moved from scripts/gitk with 99% similarity]