Re: [frogs] Patch for Issue #830

[Graham Percival]

On Sun, Dec 20, 2009 at 9:33 PM, Marc Hohl <address@hidden> wrote:
> Graham Percival schrieb:
>>
>> There's some git command that removes whitespaces at the end of
>> lines.  There's also a tracker issue to find a command (ideally
>> with python, maybe?) that removes those whitespaces.  Either it's
>> a hard issue to solve, or nobody noticed it in the tracker.
>>
>
> I found something useful here:
> http://code.google.com/p/pymc/issues/detail?id=230
>
> The program is simple but seems to work:

Thanks, added as script/auxiliary/strip-whitespace.py
I'll gradually run it on texi files.

Cheers,
- Graham