ninja-ide/ninja-ide — pull request #505 by diegosarmentero (2012-05-20 13:47:47+00:00)
Title: some improves in overlapping checking.

some improves in overlapping checking.