ninja-ide/ninja-ide — pull request #13 by diegosarmentero (2011-10-28 22:41:13+00:00)
Title: Fixed Issue #12

Fixed Issue #12