1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-11-15 21:53:44 +01:00
git/git-gui
Junio C Hamano eec102524f Merge branch 'master' of git://repo.or.cz/git-gui into maint
* 'master' of git://repo.or.cz/git-gui:
  git-gui: Make 'make' quieter by default
  git-gui: Remove unnecessary /dev/null redirection.
  git-gui: Don't create empty (same tree as parent) commits.
  git-gui: Add Reset to the Branch menu.
  git-gui: Relocate the menu/transport menu code.
2007-03-06 00:39:52 -08:00
..
.gitignore Merge branch 'master' of git://repo.or.cz/git-gui into maint 2007-02-21 11:09:57 -08:00
CREDITS-GEN Merge git://repo.or.cz/git-gui into maint 2007-02-24 23:33:12 -08:00
git-gui.sh Merge branch 'master' of git://repo.or.cz/git-gui into maint 2007-03-06 00:39:52 -08:00
GIT-VERSION-GEN Merge branch 'master' of git://repo.or.cz/git-gui into maint 2007-02-21 11:09:57 -08:00
Makefile Merge branch 'master' of git://repo.or.cz/git-gui into maint 2007-03-06 00:39:52 -08:00