ninja-ide/ninja-ide — pull request #1265 by diegosarmentero (2013-06-20 15:29:43+00:00)
Title: Closes Issue #1217

Closes Issue #1217