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)
templates/gitk.in

index 7cc2d23..3e352e2 100755 (executable)
@@ -12,9 +12,6 @@ END
        ;;
 *)
         cat <<END
-set mainfont {{Bitstream Vera Sans} 8}
-set textfont fixed
-set uifont {Helvetica 9 bold}
 END
         ;;
 esac