bash: teach __git_ps1 about REVERT_HEAD
[gitweb.git] / git-gui / lib / commit.tcl
2007-05-09 Merge branch 'maint'
2007-05-08 Merge branch 'master' of git://repo.or.cz/git-gui