mirror of
https://github.com/git/git.git
synced 2024-11-19 15:34:51 +01:00
1fbb58b415
* git://repo.or.cz/git-gui: git-gui: Delete branches with 'git branch -D' to clear config git-gui: Setup branch.remote,merge for shorthand git-pull git-gui: Update German translation git-gui: Don't use '$$cr master' with aspell earlier than 0.60 git-gui: Report less precise object estimates for database compression |
||
---|---|---|
.. | ||
lib | ||
macosx | ||
po | ||
windows | ||
.gitignore | ||
git-gui.sh | ||
GIT-VERSION-GEN | ||
Makefile |