tv 9e577d3b88 tv ni wiregrill: assign ipv4 addr		2022-01-31 16:05:39 +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 ni wiregrill: assign ipv4 addr	2022-01-31 16:05:39 +01:00