1
0
mirror of https://github.com/git/git.git synced 2025-03-25 18:24:53 +00:00
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
..
2008-05-15 01:31:15 -07:00
2008-05-15 01:31:15 -07:00
2007-11-21 00:00:56 -08:00
2007-11-21 00:00:56 -08:00
2008-05-15 01:31:15 -07:00
2008-04-02 10:29:10 -07:00
2008-03-11 22:59:35 -07:00