diff options
| author | tv <tv@krebsco.de> | 2023-01-06 21:27:58 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2023-01-08 13:46:02 +0100 |
| commit | fbd33d19895dac77056af04595c2a22ca7552517 (patch) | |
| tree | d7e7f08ffbd7ee3e1a0dcbe43732ebe907a2ea7f /kartei | |
| parent | 7a45a35a58c1dca19bdd3102f6fa700ec52a38bf (diff) | |
tv AO753: use nix.settings
Diffstat (limited to 'kartei')
0 files changed, 0 insertions, 0 deletions