Merge branch 'master' of git://repo.or.cz/git-gui
[gitweb.git] / git-gui / lib /
drwxr-xr-x   parent (dest: git-gui; base: 75d8ff138dd640a117c6aaa625d0f6b835adbd3a)
-rw-r--r-- 25900 blame.tcl
-rw-r--r-- 15609 branch.tcl
-rw-r--r-- 3201 branch_rename.tcl
-rw-r--r-- 5840 browser.tcl
-rw-r--r-- 3613 class.tcl
-rw-r--r-- 9606 commit.tcl
-rw-r--r-- 3847 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-- 7900 merge.tcl
-rw-r--r-- 8471 option.tcl
-rw-r--r-- 3471 remote.tcl
-rw-r--r-- 7961 remote_branch_delete.tcl
-rw-r--r-- 3554 shortcut.tcl
-rw-r--r-- 4438 transport.tcl