Merge branch 'jn/doc-pull' into maint
[gitweb.git] / git-gui / lib /
drwxr-xr-x   parent (dest: git-gui; base: 1e627881465dbb47eeea85aa729dd4261216ff1b)
-rw-r--r-- 1929 about.tcl
-rw-r--r-- 34492 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-- 12296 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-- 11238 commit.tcl
-rw-r--r-- 4798 console.tcl
-rw-r--r-- 3070 database.tcl
-rw-r--r-- 1057 date.tcl
-rw-r--r-- 18608 diff.tcl
-rw-r--r-- 16762 encoding.tcl
-rw-r--r-- 2541 error.tcl
-rw-r--r-- 3638 git-gui.ico
-rw-r--r-- 9879 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-- 5205 transport.tcl
-rw-r--r-- 596 win32.tcl
-rw-r--r-- 888 win32_shortcut.js