git-gui: Allow users to delete remote branches
[git/dkf.git] / lib / 
tree9258d3d30c5b4b1d3f5c8bbfba9842716bf4e86a
drwxr-xr-x   ..
-rw-r--r-- 10701 blame.tcl
-rw-r--r-- 15575 branch.tcl
-rw-r--r-- 3201 branch_rename.tcl
-rw-r--r-- 5840 browser.tcl
-rw-r--r-- 3614 class.tcl
-rw-r--r-- 9606 commit.tcl
-rw-r--r-- 3847 console.tcl
-rw-r--r-- 2446 database.tcl
-rw-r--r-- 7911 diff.tcl
-rw-r--r-- 2103 error.tcl
-rw-r--r-- 8332 index.tcl
-rw-r--r-- 7900 merge.tcl
-rw-r--r-- 8293 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