Hi Thomas, On Fri, 2011-01-21 at 14:54 +0100, Thomas Arnhold wrote: > won't do this without your approval.
Looks fine to me - no point in duplicating license headers. Michael K was writing a nice lint tool, that may be able to find if this problem (duplicated license headers) affects many other modules. Thanks ! Michael. -- michael.me...@novell.com <><, Pseudo Engineer, itinerant idiot _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice