From 36f30cb79abfa1b547f2012af15a288ee42ec555 Mon Sep 17 00:00:00 2001
From: Michał Górny <mgorny@gentoo.org>
Date: Fri, 11 Oct 2019 17:05:50 +0200
Subject: dev-libs/gecode: Remove last-rited pkg
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Closes: https://bugs.gentoo.org/694056
Signed-off-by: Michał Górny <mgorny@gentoo.org>
---
 dev-libs/gecode/metadata.xml | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 dev-libs/gecode/metadata.xml

(limited to 'dev-libs/gecode/metadata.xml')

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>
-- 
cgit v1.2.3-65-gdbad