ninja-ide/ninja-ide — pull request #734 by diegosarmentero (2012-07-17 00:31:52+00:00)
Title: fixed bug in completion

fixed bug in completion