Jörg Thalheim a995836356 dino: enable parallel building		2018-12-04 17:19:27 +00:00
..
default.nix	dino: enable parallel building	2018-12-04 17:19:27 +00:00