dev-libs/gecode: fix metadata.xml schema.
authorMichael Orlitzky <mjo@gentoo.org>
Mon, 1 Aug 2016 13:14:36 +0000 (09:14 -0400)
committerMichael Orlitzky <mjo@gentoo.org>
Mon, 1 Aug 2016 13:14:36 +0000 (09:14 -0400)
In my recent addition of gecode-4.4.0, I made a copy/paste error and
duplicated the <use> element in metadata.xml. MichaƂ's Travis CI
instance caught the error (thanks).

Package-Manager: portage-2.2.28

dev-libs/gecode/metadata.xml

index 8d557682e9607f1e00f01b87a7a8b6a294995834..234da92a34cca7cd33be49e1e17b873dc51343ad 100644 (file)
@@ -6,8 +6,6 @@
                <flag name="gist">
                        Enable Gist, the Gecode Interactive Search Tool
                </flag>
-       </use>
-       <use>
                <flag name="gmp">
                        Enable trigonometric and transcendental float
                        constraints