Vladimír Čunát 787f322540 $docdev fixups: mostly to avoid empty output ... ... after auto-removing some kinds of files by default. In some cases I let them be removed and in others I let them be put into $docdev. That was more due to general indecisiveness on this question than any reasons in the particular cases.		2015-10-28 18:58:06 +01:00
..
builder.sh	$docdev fixups: mostly to avoid empty output	2015-10-28 18:58:06 +01:00
default.nix	$docdev fixups: mostly to avoid empty output	2015-10-28 18:58:06 +01:00