diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2019-11-03 16:06:58 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2019-11-03 16:06:58 +0000 |
commit | bd4aeefe33e63f613512604e47bfca7b2187697d (patch) | |
tree | adb35b5a9a00ee7ea591ab0c987f70167c23b597 /dev-lang/polyml/metadata.xml | |
parent | 48ece6662cbd443015f5a57ae6d8cbdbd69ef37c (diff) |
gentoo resync : 03.11.2019
Diffstat (limited to 'dev-lang/polyml/metadata.xml')
-rw-r--r-- | dev-lang/polyml/metadata.xml | 4 |
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> |