git-gui: Font chooser to handle a large number of font families
[git/gitweb.git] / lib / 
treeaed50ae5849abb5e2acfbc75c5ce69f70f35db0a
drwxr-xr-x   ..
-rw-r--r-- 25941 blame.tcl
-rw-r--r-- 839 branch.tcl
-rw-r--r-- 2090 branch_checkout.tcl
-rw-r--r-- 5068 branch_create.tcl
-rw-r--r-- 3338 branch_delete.tcl
-rw-r--r-- 2916 branch_rename.tcl
-rw-r--r-- 12014 browser.tcl
-rw-r--r-- 13078 checkout_op.tcl
-rw-r--r-- 4005 choose_font.tcl
-rw-r--r-- 14768 choose_rev.tcl
-rw-r--r-- 4364 class.tcl
-rw-r--r-- 9949 commit.tcl
-rw-r--r-- 4307 console.tcl
-rw-r--r-- 3087 database.tcl
-rw-r--r-- 8281 diff.tcl
-rw-r--r-- 11786 encoding.tcl
-rw-r--r-- 2160 error.tcl
-rw-r--r-- 8100 index.tcl
-rw-r--r-- 6031 merge.tcl
-rw-r--r-- 8769 option.tcl
-rw-r--r-- 4573 remote.tcl
-rw-r--r-- 7877 remote_branch_delete.tcl
-rw-r--r-- 3783 shortcut.tcl
-rw-r--r-- 1851 status_bar.tcl
-rw-r--r-- 4434 transport.tcl