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

Reply via email to