ninja-ide/ninja-ide — pull request #439 by diegosarmentero (2012-04-03 20:42:33+00:00)
Title: Fixed Issue #431 

Fixed Issue #431