makefu 0c235a88a8 ma: disable some host ci		2018-11-10 21:11:23 +01:00
..
pgp	k 3 m: mv pgp keys	2017-04-12 11:15:02 +02:00
ssh	ma: move ssh pubkeys to files	2018-09-24 23:33:42 +02:00
default.nix	ma: disable some host ci	2018-11-10 21:11:23 +01:00