Jörg Thalheim 09734b6f6a kartei mic92: add hosts		2024-08-13 19:00:02 +00:00
..
ssh	kartei: init	2022-11-22 23:34:57 +01:00
default.nix	kartei mic92: add hosts	2024-08-13 19:00:02 +00:00