diff options
author | 2018-10-23 09:27:00 +0200 | |
---|---|---|
committer | 2018-10-23 09:32:20 +0200 | |
commit | c0bf824f276438bbbe039c4b45000a075c56beee (patch) | |
tree | 448d1fa60e59597c744492adffabd83be72282e0 /dev-lang/php | |
parent | dev-libs/crypto++: config using config.h modification (diff) | |
download | gentoo-c0bf824f276438bbbe039c4b45000a075c56beee.tar.gz gentoo-c0bf824f276438bbbe039c4b45000a075c56beee.tar.bz2 gentoo-c0bf824f276438bbbe039c4b45000a075c56beee.zip |
dev-lang/mercury: do not build dvi/pdf documentation. Closes #575140
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Signed-off-by: Keri Harris <keri@gentoo.org>
Diffstat (limited to 'dev-lang/php')
0 files changed, 0 insertions, 0 deletions