Dan Sugalski writes:
: 1) The indentation should be all tabs or all spaces. No mix, it's a pain. 

This will devolve into an editor war, and I don't think it's a real issue.

Larry

Reply via email to