projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
53ef549
)
dev-libs/gecode: fix metadata.xml schema.
author
Michael Orlitzky
<mjo@gentoo.org>
Mon, 1 Aug 2016 13:14:36 +0000
(09:14 -0400)
committer
Michael 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
patch
|
blob
|
history
diff --git
a/dev-libs/gecode/metadata.xml
b/dev-libs/gecode/metadata.xml
index 8d557682e9607f1e00f01b87a7a8b6a294995834..234da92a34cca7cd33be49e1e17b873dc51343ad 100644
(file)
--- a/
dev-libs/gecode/metadata.xml
+++ b/
dev-libs/gecode/metadata.xml
@@
-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