ninja-ide/ninja-ide — pull request #434 by diegosarmentero (2012-04-03 17:25:08+00:00)
Title: Minor fixes

Minor fixes