Jörg Thalheim d8013fd7ed mic92: drop jarvis		2022-06-08 19:00:03 +00:00
..
gpg
ssh
tinc
default.nix
kmein.nix	external: add ful	2022-05-20 22:14:53 +02:00
mic92.nix	mic92: drop jarvis	2022-06-08 19:00:03 +00:00
palo.nix