Jörg Thalheim 66e6684383 kartei mic92: add hosts		2024-07-12 12:57:11 +02:00
..
ssh	kartei: init	2022-11-22 23:34:57 +01:00
default.nix	kartei mic92: add hosts	2024-07-12 12:57:11 +02:00