On Fri, Jan 22, 2010 at 8:03 PM, Tom Lane <t...@redhat.com> wrote: > The separate /lib directory tree seems the way to go, to me. That way
/usr/share instead of /lib seems more appropriate - m -- martin.langh...@gmail.com mar...@laptop.org -- School Server Architect - ask interesting questions - don't get distracted with shiny stuff - working code first - http://wiki.laptop.org/go/User:Martinlanghoff -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
