git/lib at 40bef4992ea86b79fa80ebd7e6fd19fecdc5879b - git

History

Junio C Hamano 18a6a8571f Merge branch 'cb/git-gui-ttk-style' "git gui" has been taught to work with old versions of tk (like 8.5.7) that do not support "ttk::style theme use" as a way to query the current theme. * cb/git-gui-ttk-style: git-gui: workaround ttk:style theme use		7 years ago
..
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	…
choose_rev.tcl	…
class.tcl	…
commit.tcl	…
console.tcl	…
database.tcl	…
date.tcl	…
diff.tcl	Merge branch 'js/misc-git-gui-stuff' of ../git-gui	7 years ago
encoding.tcl	…
error.tcl	…
git-gui.ico	…
index.tcl	…
line.tcl	…
logo.tcl	…
merge.tcl	…
mergetool.tcl	…
option.tcl	…
remote.tcl	…
remote_add.tcl	…
remote_branch_delete.tcl	…
search.tcl	…
shortcut.tcl	…
spellcheck.tcl	…
sshkey.tcl	Merge branch 'bb/ssh-key-files' of git-gui into bb/git-gui-ssh-key-files	7 years ago
status_bar.tcl	…
themed.tcl	Merge branch 'cb/ttk-style' of git-gui into cb/git-gui-ttk-style	7 years ago
tools.tcl	…
tools_dlg.tcl	…
transport.tcl	…
win32.tcl	…
win32_shortcut.js	…