diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2015-10-28 18:56:00 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2015-10-28 18:58:06 +0100 |
commit | 787f322540cf37c871454d14f8498b71027355dc (patch) | |
tree | 552a2de4897fd558319fd37e6836fa3d5ceadae7 /maintainers | |
parent | 17b86fef1efb6c0939d1acee2078d2f24dffb8cb (diff) | |
download | nixlib-787f322540cf37c871454d14f8498b71027355dc.tar nixlib-787f322540cf37c871454d14f8498b71027355dc.tar.gz nixlib-787f322540cf37c871454d14f8498b71027355dc.tar.bz2 nixlib-787f322540cf37c871454d14f8498b71027355dc.tar.lz nixlib-787f322540cf37c871454d14f8498b71027355dc.tar.xz nixlib-787f322540cf37c871454d14f8498b71027355dc.tar.zst nixlib-787f322540cf37c871454d14f8498b71027355dc.zip |
$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.
Diffstat (limited to 'maintainers')
0 files changed, 0 insertions, 0 deletions