ninja-ide/ninja-ide — pull request #1009 by perrito666 (2012-12-01 18:12:19+00:00)
Title: Fixes #981

Fixed crash on certain file removal situations.