Orivej Desh 75d70c8372 dino: build with Ninja ... Upstream recommends Ninja and has a cmake script that does not support GNU Make: https://github.com/dino/dino/issues/230		2017-12-07 08:52:42 +00:00
..
default.nix	dino: build with Ninja	2017-12-07 08:52:42 +00:00