diff options
| author | William Carroll <wpcarro@gmail.com> | 2019-03-05T18·29+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2019-03-05T18·29+0000 |
| commit | 04d0ee5a15b849be878f865cf48010e880d68f22 (patch) | |
| tree | 5b4cb1b58fc0cbaa5d5c85149368741efae6172c /configs/shared/misc | |
| parent | 69acbae998b2cb128b70f752ddf592320286e812 (diff) | |
Reduces font-size
10 was just too big on my gLinux 4k setup.
Diffstat (limited to 'configs/shared/misc')
0 files changed, 0 insertions, 0 deletions