ninja-ide/ninja-ide — pull request #963 by diegosarmentero (2012-11-04 21:40:31+00:00)
Title: Fixed Issue#810

Fixed Issue#810