diff options
| author | tv <tv@krebsco.de> | 2024-06-25 11:30:34 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2024-06-25 11:30:34 +0200 |
| commit | 14c72d70908915e41554d0f24bd72f00a318b2a0 (patch) | |
| tree | e0aead8fd2fa2d16e8081c72cf843a968e2ccefb /kartei/feliks/default.nix | |
| parent | 215a7605d695865bd84e6ec0d4f813ef1894b950 (diff) | |
brain: add otp extension
Diffstat (limited to 'kartei/feliks/default.nix')
0 files changed, 0 insertions, 0 deletions