diff options
| author | Alan Pearce | 2018-06-16 22:33:06 +0200 |
|---|---|---|
| committer | Alan Pearce | 2018-06-16 22:33:06 +0200 |
| commit | 70fee94efaf26221cd0fdebe793c26a991985d0e (patch) | |
| tree | 39822dfe5a5fc364c1df818a1a9ee7507812bd21 /vagrant | |
| parent | 5374d9c356c192ef7b39b6ee72b05f0532132b75 (diff) | |
| download | nixfiles-70fee94efaf26221cd0fdebe793c26a991985d0e.tar.lz nixfiles-70fee94efaf26221cd0fdebe793c26a991985d0e.tar.zst nixfiles-70fee94efaf26221cd0fdebe793c26a991985d0e.zip | |
mlterm: Fix font size not changing with DPI
Diffstat (limited to 'vagrant')
0 files changed, 0 insertions, 0 deletions