diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-02-24 15:08:00 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-02-24 15:08:00 +0100 |
| commit | 09077d6382e89a72c954edf99cfc3f014206ce7a (patch) | |
| tree | 895b3fc4240680e67ffdf85c4f36874c42dfd6ce /src/ide | |
| parent | 151765bb3ef3c87a461b6922d97a1d98ff1c2fac (diff) | |
Fix more bad font names
Diffstat (limited to 'src/ide')
0 files changed, 0 insertions, 0 deletions