ninja-ide/ninja-ide — pull request #850 by diegosarmentero (2012-09-19 00:43:40+00:00)
Title:  reverting pull request #812 

reverting pull request #812