ninja-ide/ninja-ide — pull request #11 by diegosarmentero (2011-10-28 12:15:43+00:00)
Title: Fixed Issue #9

Fixed Issue #9