makefu e80eae2eb5 ma wbob.r: disable hydra (for now)		2018-06-14 21:56:20 +02:00
..
config.nix	ma wbob.r: disable hydra (for now)	2018-06-14 21:56:20 +02:00
source.nix	ma wbob.r: enable bureautomation	2017-12-08 14:04:35 +01:00