diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-09-07T18·47+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-09-07T18·47+0100 |
| commit | 8022b7a811b00bfb09c277684e11dcf764d10151 (patch) | |
| tree | ab3ab06908e8311e8469280cfea53ac47565b1ec /tools | |
| parent | b01ce5059d9e6823a175188400f71f75b802a958 (diff) | |
Increase the default size of my workstation font
Consider moving some of this logic into my work-specific configuration.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions