ninja-ide/ninja-ide — pull request #128 by diegosarmentero (2011-12-28 20:39:04+00:00)
Title: Make ninja-ide.py executable

Make ninja-ide.py executable