ninja-ide/ninja-ide — pull request #496 by diegosarmentero (2012-05-17 10:37:11+00:00)
Title: Improving open_project and removing unnecesary check

Improving open_project and removing unnecesary check