ninja-ide/ninja-ide — pull request #156 by diegosarmentero (2012-01-07 01:48:51+00:00)
Title: Fixed Issue #152 

Fixed Issue #152