tv 72de0dd659 kartei tv pi: init		2023-04-25 13:18:22 +02:00
..
hosts	kartei tv pi: init	2023-04-25 13:18:22 +02:00
pgp	kartei: init	2022-11-22 23:34:57 +01:00
wiregrill	kartei tv pi: init	2023-04-25 13:18:22 +02:00
default.nix	kartei tv: move around hostFiles & co.	2022-12-29 17:35:32 +01:00