git gui: keep selected branch when remote is changed in push dialog
[gitweb.git] / lib /
drwxr-xr-x   parent (dest: ; base: 9e34e62bcbef12d290ecc0854df9117009873a3f)
-rw-r--r-- 1929 about.tcl
-rw-r--r-- 34758 blame.tcl
-rw-r--r-- 839 branch.tcl
-rw-r--r-- 2254 branch_checkout.tcl
-rw-r--r-- 5438 branch_create.tcl
-rw-r--r-- 3350 branch_delete.tcl
-rw-r--r-- 3217 branch_rename.tcl
-rw-r--r-- 12298 browser.tcl
-rw-r--r-- 14803 checkout_op.tcl
-rw-r--r-- 4203 choose_font.tcl
-rw-r--r-- 24834 choose_repository.tcl
-rw-r--r-- 15183 choose_rev.tcl
-rw-r--r-- 4511 class.tcl
-rw-r--r-- 11277 commit.tcl
-rw-r--r-- 4798 console.tcl
-rw-r--r-- 3070 database.tcl
-rw-r--r-- 1057 date.tcl
-rw-r--r-- 20764 diff.tcl
-rw-r--r-- 16762 encoding.tcl
-rw-r--r-- 2541 error.tcl
-rw-r--r-- 3638 git-gui.ico
-rw-r--r-- 9921 index.tcl
-rw-r--r-- 2290 logo.tcl
-rw-r--r-- 6251 merge.tcl
-rw-r--r-- 10379 mergetool.tcl
-rw-r--r-- 9752 option.tcl
-rw-r--r-- 6062 remote.tcl
-rw-r--r-- 4597 remote_add.tcl
-rw-r--r-- 8288 remote_branch_delete.tcl
-rw-r--r-- 4269 search.tcl
-rw-r--r-- 3467 shortcut.tcl
-rw-r--r-- 9626 spellcheck.tcl
-rw-r--r-- 3415 sshkey.tcl
-rw-r--r-- 2576 status_bar.tcl
-rw-r--r-- 4891 themed.tcl
-rw-r--r-- 3668 tools.tcl
-rw-r--r-- 10051 tools_dlg.tcl
-rw-r--r-- 5256 transport.tcl
-rw-r--r-- 596 win32.tcl
-rw-r--r-- 888 win32_shortcut.js