1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-10-31 14:27:54 +01:00
git/git-gui
Junio C Hamano 1fbb58b415 Merge git://repo.or.cz/git-gui
* 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
2008-05-15 01:31:15 -07:00
..
lib Merge git://repo.or.cz/git-gui 2008-05-15 01:31:15 -07:00
macosx Merge branch 'maint' of git://repo.or.cz/git-gui into maint 2008-02-23 11:23:59 -08:00
po Merge git://repo.or.cz/git-gui 2008-05-15 01:31:15 -07:00
windows Merge git://repo.or.cz/git-gui 2007-11-21 00:00:56 -08:00
.gitignore Merge git://repo.or.cz/git-gui 2007-11-21 00:00:56 -08:00
git-gui.sh Merge git://repo.or.cz/git-gui 2008-05-15 01:31:15 -07:00
GIT-VERSION-GEN Merge git://repo.or.cz/git-gui 2008-04-02 10:29:10 -07:00
Makefile Merge git://repo.or.cz/git-gui 2008-03-11 22:59:35 -07:00