Re: [frogs] Patch for Issue #830 |
[ Thread Index |
Date Index
| More lilynet.net/frogs Archives
]
On Sun, Dec 20, 2009 at 9:33 PM, Marc Hohl <marc@xxxxxxxxxx> 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
---
----
Join the Frogs!