Smaller font on git diff
This commit is contained in:
parent
513f72377a
commit
c2bd0b5743
1 changed files with 1 additions and 1 deletions
|
@ -3,7 +3,7 @@
|
||||||
email = T.Schmidl@erhardt-leimer.com
|
email = T.Schmidl@erhardt-leimer.com
|
||||||
signingkey = 0xa1554441
|
signingkey = 0xa1554441
|
||||||
[gui]
|
[gui]
|
||||||
fontdiff = -family \"Source Code Pro\" -size 9 -weight normal -slant roman -underline 0 -overstrike 0
|
fontdiff = -family \"Source Code Pro\" -size 8 -weight normal -slant roman -underline 0 -overstrike 0
|
||||||
fontui = -family \"DejaVu Sans\" -size 9 -weight normal -slant roman -underline 0 -overstrike 0
|
fontui = -family \"DejaVu Sans\" -size 9 -weight normal -slant roman -underline 0 -overstrike 0
|
||||||
spellingdictionary = en
|
spellingdictionary = en
|
||||||
[alias]
|
[alias]
|
||||||
|
|
Loading…
Reference in a new issue