diff options
Diffstat (limited to 'dev-libs/gecode/metadata.xml')
| -rw-r--r-- | dev-libs/gecode/metadata.xml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/dev-libs/gecode/metadata.xml b/dev-libs/gecode/metadata.xml deleted file mode 100644 index 234da92a34cc..000000000000 --- a/dev-libs/gecode/metadata.xml +++ /dev/null @@ -1,14 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <!-- maintainer-needed --> - <use> - <flag name="gist"> - Enable Gist, the Gecode Interactive Search Tool - </flag> - <flag name="gmp"> - Enable trigonometric and transcendental float - constraints - </flag> - </use> -</pkgmetadata> |