diff options
| author | lassulus <git@lassul.us> | 2023-07-08 14:26:11 +0200 |
|---|---|---|
| committer | lassulus <git@lassul.us> | 2023-07-08 14:26:11 +0200 |
| commit | 7dd7e8291da2cb078bec92c5b7600d421ad6d479 (patch) | |
| tree | ecc25a94ff702c7400bc3b5e1c0d3290e4f7e4a0 /kartei/mic92/default.nix | |
| parent | c614ec65355b821eb563e79930eee40e181088f6 (diff) | |
kartei mors: disable consul
Diffstat (limited to 'kartei/mic92/default.nix')
0 files changed, 0 insertions, 0 deletions