> Well, there are editors that don't intelligently strip whitespace, so that > people using them would be constantly pained by such a hook.
Those users can run reindent.py before checking in, or switch editors. 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
