Johannes Schindelin c44d1ccc36 Merge branch 'dup-gui' of PhilipOakley/git-gui.git ...

This resolves a couple of Git GUI issues that seem not to have been
picked up from https://github.com/patthoyts/git-gui/pull/10 yet.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

2017-07-13 08:30:52 +02:00

..

about.tcl

…

blame.tcl

…

branch_checkout.tcl

…

branch_create.tcl

…

branch_delete.tcl

…

branch_rename.tcl

…

branch.tcl

…

browser.tcl

…

checkout_op.tcl

…

choose_font.tcl

…

choose_repository.tcl

git gui: allow for a long recentrepo list

2017-07-13 08:30:40 +02:00

choose_rev.tcl

…

class.tcl

…

commit.tcl

…

console.tcl

…

database.tcl

…

date.tcl

…

diff.tcl

…

encoding.tcl

…

error.tcl

…

git-gui.ico

…

index.tcl

…

line.tcl

…

logo.tcl

…

merge.tcl

…

mergetool.tcl

…

option.tcl

…

remote_add.tcl

…

remote_branch_delete.tcl

…

remote.tcl

…

search.tcl

…

shortcut.tcl

…

spellcheck.tcl

…

sshkey.tcl

…

status_bar.tcl

…

themed.tcl

…

tools_dlg.tcl

…

tools.tcl

…

transport.tcl

…

win32_shortcut.js

…

win32.tcl

…