git-gui: remove duplicate entries from .gitconfig's gui.recentrepo
authorPhilip Oakley <philipoakley@iee.org>
Mon, 14 Dec 2015 10:37:02 +0000 (10:37 +0000)
committerPhilip Oakley <philipoakley@iee.org>
Fri, 20 Jan 2017 20:55:01 +0000 (20:55 +0000)
commit2c1b06d...f9a2b953c3692bacca6eeaa78d33fd01
tree8be943b...523dc915ccfeb7a85cf8dd75257a6ab7copy hash to clipboard (tree)
parentccc9851...6f23ff5d9ac610cb820bca48405ff5efcopy hash to clipboard (diff)
lib/choose_repository.tcl