ninja-ide/ninja-ide — pull request #636 by diegosarmentero (2012-06-23 03:43:47+00:00)
Title: Only take care of the supported extensions

Only take care of the supported extensions