ninja-ide/ninja-ide — pull request #960 by diegosarmentero (2012-11-04 20:13:10+00:00)
Title: Fixed Issue #955, Fixed Issue #953

Fixed Issue #955
Fixed Issue #953