ninja-ide/ninja-ide — pull request #641 by diegosarmentero (2012-06-23 16:35:54+00:00)
Title: fixing completion daemon and plugins version comparison

fixing completion daemon and plugins version comparison