Merge tag 'gitgui-0.18.0' of git://repo.or.cz/git-gui
authorJunio C Hamano <gitster@pobox.com>
Mon, 17 Jun 2013 03:06:55 +0000 (20:06 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 17 Jun 2013 03:06:55 +0000 (20:06 -0700)
commitfb7dfaa...10da6f9ebb854f70ffc1c78668a1e70c
treee09f2a4...099de99a00e1a256b5dfad02927c7ad9copy hash to clipboard (tree)
parent0dbd812...1dbc516bb3bf07862c369fc582a4e5e0copy hash to clipboard (diff)
parent8a383db...b28059becc3ebfd1b402299e34c3151fcopy hash to clipboard (diff)
git-gui/GIT-VERSION-GEN
git-gui/Makefile
git-gui/git-gui.sh
git-gui/lib/choose_repository.tcl
git-gui/lib/diff.tcl
git-gui/lib/mergetool.tcl
git-gui/lib/remote.tcl
git-gui/po/fr.po