ninja-ide/ninja-ide — pull request #530 by diegosarmentero (2012-05-26 01:27:19+00:00)
Title: Fixing some coding style

Fixing some coding style