tv bd2aef1cd2 kartei tv: add ru		2023-01-10 16:05:06 +01:00
..
hosts	kartei tv: add ru	2023-01-10 16:05:06 +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