mirror of
https://github.com/git/git.git
synced 2024-11-15 21:53:44 +01:00
eec102524f
* '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. |
||
---|---|---|
.. | ||
.gitignore | ||
CREDITS-GEN | ||
git-gui.sh | ||
GIT-VERSION-GEN | ||
Makefile |