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 _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
