Re: Empty source file with proprietary header

To: Ben Finney <ben+debian@benfinney.id.au>
Cc: debian-legal@lists.debian.org
Subject: Re: Empty source file with proprietary header
From: Mehdi Dogguy <mehdi.dogguy@pps.jussieu.fr>
Date: Wed, 20 May 2009 14:36:43 +0200
Message-id: <[🔎] 4A13F95B.2000102@pps.jussieu.fr>
In-reply-to: <[🔎] 87bppo3qon.fsf@benfinney.id.au>
References: <[🔎] 4A13E9FA.3080808@pps.jussieu.fr> <[🔎] 87bppo3qon.fsf@benfinney.id.au>

Ben Finney wrote:
> 
> Does their removal have any adverse effect on the binary package?
> 

Not a single one.

Thanks for the quick answer.

Cheers,

-- 
Mehdi Dogguy مهدي الدڤي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.44.27.28.38

Reply to:

References:
- Empty source file with proprietary header
  - From: Mehdi Dogguy <mehdi.dogguy@pps.jussieu.fr>
- Re: Empty source file with proprietary header
  - From: Ben Finney <ben+debian@benfinney.id.au>

Prev by Date: Re: Empty source file with proprietary header
Next by Date: Re: Empty source file with proprietary header
Previous by thread: Re: Empty source file with proprietary header
Next by thread: Re: Empty source file with proprietary header
Index(es):
- Date
- Thread