Commit e5bbd40ad7f66f80170454683342076ec1e92d31

Nick Mathewson 2010-02-18T17:41:15

Clean up formatting: use tabs, not 8-spaces, to indent.