ninja-ide/ninja-ide — pull request #235 by diegosarmentero (2012-02-02 22:29:44+00:00)
Title: Fixed Issue #231 

Fixed Issue #231