Merge branch 'maint' of git://repo.or.cz/git-gui into maint
[git/git.git] / git-gui / lib /
drwxr-xr-x   ..
-rw-r--r-- 25941 blame.tcl
-rw-r--r-- 839 branch.tcl
-rw-r--r-- 2090 branch_checkout.tcl
-rw-r--r-- 5068 branch_create.tcl
-rw-r--r-- 3338 branch_delete.tcl
-rw-r--r-- 2916 branch_rename.tcl
-rw-r--r-- 11922 browser.tcl
-rw-r--r-- 13078 checkout_op.tcl
-rw-r--r-- 4007 choose_font.tcl
-rw-r--r-- 14768 choose_rev.tcl
-rw-r--r-- 4364 class.tcl
-rw-r--r-- 9949 commit.tcl
-rw-r--r-- 4307 console.tcl
-rw-r--r-- 3087 database.tcl
-rw-r--r-- 8281 diff.tcl
-rw-r--r-- 11786 encoding.tcl
-rw-r--r-- 2160 error.tcl
-rw-r--r-- 8102 index.tcl
-rw-r--r-- 6031 merge.tcl
-rw-r--r-- 8769 option.tcl
-rw-r--r-- 4573 remote.tcl
-rw-r--r-- 7877 remote_branch_delete.tcl
-rw-r--r-- 3783 shortcut.tcl
-rw-r--r-- 1851 status_bar.tcl
-rw-r--r-- 4434 transport.tcl