Merge branch 'maint' of git://repo.or.cz/git-gui into maint
authorJunio C Hamano <gitster@pobox.com>
Sun, 2 Nov 2008 05:31:14 +0000 (22:31 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sun, 2 Nov 2008 05:31:14 +0000 (22:31 -0700)
commitfaf1dc7...23be9ffddf775916913bb8e22762cdfb
tree0bf53d2...ef96c5a26e2e80c0e7802a17701f9fb1copy hash to clipboard (tree)
parente855bfc...404d3344787541c1bdaa1e8d44398eb3copy hash to clipboard (diff)
parentdd87558...58d989e47de09eafefa8d2f2ea4de27dcopy hash to clipboard (diff)
git-gui/lib/spellcheck.tcl