ninja-ide/ninja-ide — pull request #549 by diegosarmentero (2012-05-27 16:09:27+00:00)
Title: Fixed Issue #315

Fixed Issue #315