ninja-ide/ninja-ide — pull request #514 by diegosarmentero (2012-05-23 21:48:25+00:00)
Title: Fixed Issue #513 

Fixed Issue #513