diff options
author | Jakob Odersky <jakob@odersky.com> | 2019-12-25 22:06:16 +0100 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2019-12-25 22:06:16 +0100 |
commit | 325562716ee074a04692a878d58529396a7ee588 (patch) | |
tree | 4039d1c21b5c236f0c7e9b16998bc98c6e388610 /installpackages | |
parent | a4b777f6628354a059810193122a5f5a3674de34 (diff) | |
download | dotfiles-325562716ee074a04692a878d58529396a7ee588.tar.gz dotfiles-325562716ee074a04692a878d58529396a7ee588.tar.bz2 dotfiles-325562716ee074a04692a878d58529396a7ee588.zip |
Increase terminal font for HiDPI screen
Diffstat (limited to 'installpackages')
0 files changed, 0 insertions, 0 deletions