April 17, 2006
7:26 p.m.
Anthony Baxter wrote:
There's a scripts Tools/scripts/reindent.py - put it somewhere on your PATH and run it before checkin, like "reindent.py -r Lib". It means Tim or I don't have to run it for you <wink>
As I kept forgetting what the name, location, and command line options of that script are, I now added a reindent makefile target. Regards, Martin