ninja-ide/ninja-ide — pull request #17 by diegosarmentero (2011-10-29 03:00:47+00:00)
Title: Fixing issue 299 from google code

Fixing issue 299 from google code