Merge branch 'maint' of git://repo.or.cz/git-gui into maint
authorJunio C Hamano <gitster@pobox.com>
Sat, 6 Sep 2008 23:03:22 +0000 (16:03 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sat, 6 Sep 2008 23:03:22 +0000 (16:03 -0700)
commit1b118da...bd1878d78589afd9f755b9d52a9579ad
tree3bef12e...e07a0be6331a305522ae278a2b8cabe5copy hash to clipboard (tree)
parentf22a432...157c5673a1004934a2e6ba77dd55b356copy hash to clipboard (diff)
parentca53c3f...cf69f620331f3822cef36d95b5cf5640copy hash to clipboard (diff)
git-gui/git-gui.sh
git-gui/lib/diff.tcl
git-gui/lib/option.tcl
git-gui/po/fr.po
git-gui/po/po2msg.sh