diff options
| author | David Seifert <soap@gentoo.org> | 2017-05-07 12:00:15 +0200 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2017-05-07 12:01:34 +0200 |
| commit | ce1b9184cf477605d4f7e99c4c6839fcf310d626 (patch) | |
| tree | 6ca8ee0a5084b2cb693d8b7863721b8ea00b0027 /dev-lang/polyml | |
| parent | de3937349684e3cd3fd58117e84811059c55a2ae (diff) | |
| download | gentoo-ce1b9184cf477605d4f7e99c4c6839fcf310d626.tar.gz gentoo-ce1b9184cf477605d4f7e99c4c6839fcf310d626.tar.xz | |
media-sound/milkytracker: Remove unnecessary HTML_DOCS
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Diffstat (limited to 'dev-lang/polyml')
0 files changed, 0 insertions, 0 deletions