makefu 72cd32c0bc ma nextgum.r becomes gum.r		2018-11-05 16:22:39 +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 nextgum.r becomes gum.r	2018-11-05 16:22:39 +01:00