ninja-ide/ninja-ide — pull request #692 by diegosarmentero (2012-07-01 21:17:51+00:00)
Title: fixing bug on save

fixing bug on save