chiark / gitweb /
gitk: remove crappy fonts
authorIan Jackson <ian.jackson@eu.citrix.com>
Fri, 10 Jun 2016 18:08:40 +0000 (19:08 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Fri, 10 Jun 2016 18:08:40 +0000 (19:08 +0100)
commit90e1ee8885ebceccd2eed70d9b551597bf008c8f
tree84a18e6028a1e288ffdb0bb8df06ba6da9483237
parentcc5eaa68040c47eec03ccbea932abe98d9775a53
gitk: remove crappy fonts
templates/gitk.in