diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-12-01 03:04:39 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-12-01 03:04:39 +0000 |
| commit | 407525b571b48cfd65e1ad7a02d250a927c967c9 (patch) | |
| tree | 844bea44d85dc7218f54970af1c42cc9d55c3f1a /dev-lang/polyml/metadata.xml | |
| parent | 89c6c06b8c42107dd231687a1012354e7d3039fc (diff) | |
gentoo resync : 01.12.2017
Diffstat (limited to 'dev-lang/polyml/metadata.xml')
| -rw-r--r-- | dev-lang/polyml/metadata.xml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/dev-lang/polyml/metadata.xml b/dev-lang/polyml/metadata.xml index e5460b6ae6dc..bdeea6761bc4 100644 --- a/dev-lang/polyml/metadata.xml +++ b/dev-lang/polyml/metadata.xml @@ -6,11 +6,10 @@ <name>Gentoo ML Project</name> </maintainer> <longdescription lang="en"> -Poly/ML is a full implementation of Standard ML available as open-source. -</longdescription> + Poly/ML is a full implementation of Standard ML available as open-source. + </longdescription> <use> - <flag name="portable">Build the portable interpreter version of Poly/ML - instead of native.</flag> + <flag name="portable">Build the portable interpreter version of Poly/ML instead of native</flag> </use> <upstream> <remote-id type="sourceforge">polyml</remote-id> |