Re: [PATCH] Remove some junk characters from COPYING
- From
Ramkumar Ramachandra <artagnon@gmail.com>
- Date
- Jan 16, 2010, 04:00 UTC
- Message-ID
- <f3271551001152000r6facd476we7f0a1d3ed5cdf87@mail.gmail.com>
- In-Reply-To
- <201001160209.22589.robin.rosenberg@dewire.com>
Hi,
> It is a form-feed (force new page when printing) so it should probably be > called by that name, if it were to be removed.
Oh, thanks for that- I just looked it up. I don't know if they should be removed at all.