ninja-ide/ninja-ide — pull request #260 by diegosarmentero (2012-02-14 20:18:14+00:00)
Title: Fixed Issue #258

Fixed Issue #258