ninja-ide/ninja-ide — pull request #789 by diegosarmentero (2012-08-16 00:30:49+00:00)
Title: fixed disambiguation bug

fixed disambiguation bug