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)
On 01/21/2011 03:08 PM, Michael Meeks wrote:
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