|
hosts
|
kartei tv ni: update internet addresses
|
2023-04-19 15:06:46 +02:00 |
|
pgp
|
kartei: init
|
2022-11-22 23:34:57 +01:00 |
|
wiregrill
|
tv ru: add wiregrill pubkey
|
2023-01-25 15:00:21 +01:00 |
|
default.nix
|
kartei tv: move around hostFiles & co.
|
2022-12-29 17:35:32 +01:00 |
