tv 6ed3ef543f tv hu: ci = false		2022-12-31 00:21:45 +01:00
..
hosts	tv hu: ci = false	2022-12-31 00:21:45 +01:00
pgp	kartei: init	2022-11-22 23:34:57 +01:00
wiregrill	kartei: init	2022-11-22 23:34:57 +01:00
default.nix	kartei tv: move around hostFiles & co.	2022-12-29 17:35:32 +01:00