summaryrefslogtreecommitdiff
path: root/dev-lang/polyml/metadata.xml
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2019-11-03 16:06:58 +0000
committerV3n3RiX <venerix@redcorelinux.org>2019-11-03 16:06:58 +0000
commitbd4aeefe33e63f613512604e47bfca7b2187697d (patch)
treeadb35b5a9a00ee7ea591ab0c987f70167c23b597 /dev-lang/polyml/metadata.xml
parent48ece6662cbd443015f5a57ae6d8cbdbd69ef37c (diff)
gentoo resync : 03.11.2019
Diffstat (limited to 'dev-lang/polyml/metadata.xml')
-rw-r--r--dev-lang/polyml/metadata.xml4
1 files changed, 0 insertions, 4 deletions
diff --git a/dev-lang/polyml/metadata.xml b/dev-lang/polyml/metadata.xml
index 3ebf1da1683a..bdeea6761bc4 100644
--- a/dev-lang/polyml/metadata.xml
+++ b/dev-lang/polyml/metadata.xml
@@ -5,10 +5,6 @@
<email>ml@gentoo.org</email>
<name>Gentoo ML Project</name>
</maintainer>
- <maintainer type="person">
- <email>tupone@gentoo.org</email>
- <name>Tupone Alfredo</name>
- </maintainer>
<longdescription lang="en">
Poly/ML is a full implementation of Standard ML available as open-source.
</longdescription>