gitk: Add a user preference to enable/disable use of themed widgets
authorPaul Mackerras <paulus@samba.org>
Sat, 5 Sep 2009 12:06:46 +0000 (22:06 +1000)
committerPaul Mackerras <paulus@samba.org>
Sat, 5 Sep 2009 12:06:46 +0000 (22:06 +1000)
commit0cc08ff...ddaf4360966bdedf006af041cdf6f7d9
tree2c89eed...0b9560f6877d803aa8d09a5ba8673505copy hash to clipboard (tree)
parenteae7d64...2da085d7aed0671149611e417ca794e3copy hash to clipboard (diff)
gitk