makefu 7fa327dde1 wbob.r: cores = 4		2017-07-16 23:29:03 +02:00
..
pgp	k 3 m: mv pgp keys	2017-04-12 11:15:02 +02:00
default.nix	wbob.r: cores = 4	2017-07-16 23:29:03 +02:00