Merge branch 'master' of git://repo.or.cz/git-gui
[gitweb.git] / git-gui / lib /
drwxr-xr-x   parent (dest: git-gui; base: 82ff9d2c8b0d449fbaae21a69bcc3b98a4012180)
-rw-r--r-- 26151 blame.tcl
-rw-r--r-- 15609 branch.tcl
-rw-r--r-- 3150 branch_rename.tcl
-rw-r--r-- 5791 browser.tcl
-rw-r--r-- 3977 class.tcl
-rw-r--r-- 9606 commit.tcl
-rw-r--r-- 3861 console.tcl
-rw-r--r-- 2446 database.tcl
-rw-r--r-- 7912 diff.tcl
-rw-r--r-- 2103 error.tcl
-rw-r--r-- 8332 index.tcl
-rw-r--r-- 7942 merge.tcl
-rw-r--r-- 8471 option.tcl
-rw-r--r-- 3471 remote.tcl
-rw-r--r-- 7910 remote_branch_delete.tcl
-rw-r--r-- 3554 shortcut.tcl
-rw-r--r-- 4438 transport.tcl