ninja-ide/ninja-ide — pull request #16 by diegosarmentero (2011-10-29 02:27:39+00:00)
Title: Fixing issue 302 from google code

Fixing issue 302 from google code