tv dc87cea9e5 tv hu: init		2021-01-25 11:29:15 +01:00
..
pgp	tv.pgp.pubkeys.default = readFile ./pgp/CBF89B0B.asc	2016-06-23 23:14:23 +02:00
wiregrill	tv: configure the wiregrill	2018-12-18 21:40:52 +01:00
default.nix	tv hu: init	2021-01-25 11:29:15 +01:00