Jörg Thalheim 5a8488fa58 mic92: add doctor.r		2023-01-18 23:00:03 +00:00
..
ssh	kartei: init	2022-11-22 23:34:57 +01:00
default.nix	mic92: add doctor.r	2023-01-18 23:00:03 +00:00