diff options
| author | tv <tv@krebsco.de> | 2023-01-29 13:36:10 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2023-01-29 13:36:10 +0100 |
| commit | 30c7470664da9dc15bdc280487c9e03105708164 (patch) | |
| tree | c3e6ed6b053a213106434fa956e58e74624d7b33 /kartei/others | |
| parent | c0ec617d22a2f03a110ecb5a4ab4d736c582b89e (diff) | |
tv: alacritty-font-size -> font-size-alacritty
Diffstat (limited to 'kartei/others')
0 files changed, 0 insertions, 0 deletions