1
0
mirror of https://github.com/git/git.git synced 2024-10-01 14:11:31 +02:00
git/git-gui/lib
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
..
about.tcl
blame.tcl
branch_checkout.tcl
branch_create.tcl
branch_delete.tcl
branch_rename.tcl
branch.tcl
browser.tcl
checkout_op.tcl
choose_font.tcl
choose_repository.tcl
choose_rev.tcl
class.tcl
commit.tcl
console.tcl
database.tcl
date.tcl
diff.tcl
encoding.tcl
error.tcl
git-gui.ico
index.tcl
logo.tcl
merge.tcl
option.tcl
remote_branch_delete.tcl
remote.tcl
shortcut.tcl
spellcheck.tcl
status_bar.tcl
transport.tcl
win32_shortcut.js
win32.tcl