chiark / gitweb /
gitk: generate differnt fonts on zealot
authorIan Jackson <ian.jackson@eu.citrix.com>
Fri, 10 Jun 2016 18:05:22 +0000 (19:05 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Fri, 10 Jun 2016 18:05:22 +0000 (19:05 +0100)
commitdab278962e3326c5e992fbec019930442bc3b5cb
tree975a4b38028e5870bbd26fa7c9563901488bf3ff
parent4201791c7d6c0cb78a638e52a8926239c0603df2
gitk: generate differnt fonts on zealot
templates/gitk.in