diff options
| author | tv <tv@krebsco.de> | 2023-01-27 16:17:22 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2023-01-27 16:17:22 +0100 |
| commit | 08009331800e7fa9c1ac1fae8711750bab1ed950 (patch) | |
| tree | c42d82f8a79cebf649e4b671d9e925c97caeb93f /kartei/krebs | |
| parent | 6a5b4c73b0655c38f0b6abc6550b2b3cdffc121b (diff) | |
tv iosevka: use fetchzip
Diffstat (limited to 'kartei/krebs')
0 files changed, 0 insertions, 0 deletions