diff options
| author | fpi | 2020-07-27 20:33:46 +0200 |
|---|---|---|
| committer | fpi | 2020-08-01 18:38:08 +0200 |
| commit | 077cde89d72ea895ddb7b9624a4d6336f6d9e6ae (patch) | |
| tree | fc74add7e4ebf89eaa3e5ce55be0aa3289344fdb /.gitignore | |
| parent | Make olivetti mode scale better in small windows (diff) | |
[WIP] Improve font setup
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions