Eelco Dolstra 5f8a330d40 outputDocdev -> outputDevdoc ... For consistency with the devdoc output.		2016-09-20 17:44:48 +02:00
..
default.nix	outputDocdev -> outputDevdoc	2016-09-20 17:44:48 +02:00