git gui: de-dup selected repo from recentrepo history
authorPhilip Oakley <philipoakley@iee.org>
Mon, 14 Dec 2015 10:42:04 +0000 (10:42 +0000)
committerPhilip Oakley <philipoakley@iee.org>
Fri, 20 Jan 2017 21:10:28 +0000 (21:10 +0000)
commite670fce...7f79f6305f17f2a91732565909c678dd
tree4796d61...afb5a31b9eb2232518932e9d03f85e48copy hash to clipboard (tree)
parent3202c68...e0060d3a1f3b6f73b4932c6e8b263abbcopy hash to clipboard (diff)
lib/choose_repository.tcl