martine/ninja — pull request #632 by Sh4rK (2013-08-07 12:50:31+00:00)
Title: Fix indentation in platform_helper.py

Two lines were indented using tabs instead of spaces, and also one less level than needed.