On 10 January 2012 22:41, Michael Stahl <[email protected]> wrote: > argh, there is a SYSTEM_MOZILLA_HEADERS? completely forgot about that, > but i guess in that case changing the header isn't such a good idea > after all :(
Hmm, but does anybody use --with-system-mozilla-headers ? I can't see any advantage over internal headers. (But I can't see many things.) I'd say, let's just remove SYSTEM_MOZILLA_HEADERS and change the internal ones. _______________________________________________ LibreOffice mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/libreoffice
