chiark / gitweb /
some git gui thing found on zealot
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 13 Sep 2018 16:22:03 +0000 (17:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 13 Sep 2018 16:22:03 +0000 (17:22 +0100)
templates/gitconfig.in

index fffd447bc41cb1e2596282d6fb5cdee64716d84f..ccaf2fa796ad8762df7145810bedc7773099ef97 100755 (executable)
@@ -32,6 +32,9 @@ zealot)
 [dgit-distro "debian"]
        username = iwj
        keyid = 0x48B50D39
 [dgit-distro "debian"]
        username = iwj
        keyid = 0x48B50D39
+[gui]
+       fontui = -family \"DejaVu Sans\" -size 11 -weight normal -slant roman -underline 0 -overstrike 0
+       fontdiff = -family \"DejaVu Sans Mono\" -size 11 -weight normal -slant roman -underline 0 -overstrike 0
 [url "git://git.kernel.org/"]
        insteadOf = git://git.kernel.org/
 [url "git://xenbits.xen.org/linux-pvops.git"]
 [url "git://git.kernel.org/"]
        insteadOf = git://git.kernel.org/
 [url "git://xenbits.xen.org/linux-pvops.git"]