On 9/13/06, Michael Schwendt <bugs.michael@xxxxxxx> wrote:
On Wed, 13 Sep 2006 23:43:35 +0200, Denis Leroy wrote:
> But yeah, probably not worth the effort. I don't see much wrong with
> having /usr/include/CORE around either...
Except that the name is very generic and hence short-sighted.
Isn't that an upstream issue? Do we have an actual conflict in /usr/include?
-Chris
--
Chris Weyl
Ex astris, scientia
--
fedora-extras-list mailing list
fedora-extras-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-extras-list
