commit: use generation number in remove_redundant()
[gitweb.git] / git-gui / lib / commit.tcl
2007-05-08 Merge branch 'master' of git://repo.or.cz/git-gui