git/git-gui/lib
Junio C Hamano b31fb630c0 Merge https://github.com/j6t/git-gui
* https://github.com/j6t/git-gui:
  git gui: add directly calling merge tool from configuration
  git-gui: strip commit messages less aggressively
  git-gui: strip comments and consecutive empty lines from commit messages
2024-11-11 12:47:44 +09:00
..
about.tcl
…
blame.tcl
…
branch.tcl
…
branch_checkout.tcl
…
branch_create.tcl
…
branch_delete.tcl
…
branch_rename.tcl
…
browser.tcl
…
checkout_op.tcl
…
choose_font.tcl
…
choose_repository.tcl Merge https://github.com/prati0100/git-gui 2023-08-24 09:57:43 -07:00
choose_rev.tcl
…
chord.tcl
…
class.tcl
…
commit.tcl Merge https://github.com/j6t/git-gui 2024-11-11 12:47:44 +09:00
console.tcl
…
database.tcl
…
date.tcl
…
diff.tcl
…
encoding.tcl doc: switch links to https 2023-11-26 10:07:05 +09:00
error.tcl
…
git-gui.ico
…
index.tcl
…
line.tcl
…
logo.tcl
…
merge.tcl
…
mergetool.tcl Merge https://github.com/j6t/git-gui 2024-11-11 12:47:44 +09:00
option.tcl
…
remote.tcl
…
remote_add.tcl
…
remote_branch_delete.tcl
…
search.tcl
…
shortcut.tcl Merge https://github.com/prati0100/git-gui 2023-08-24 09:57:43 -07:00
spellcheck.tcl
…
sshkey.tcl
…
status_bar.tcl
…
themed.tcl
…
tools.tcl
…
tools_dlg.tcl
…
transport.tcl
…
win32.tcl
…
win32_shortcut.js
…