ninja-ide/ninja-ide — pull request #499 by diegosarmentero (2012-05-18 23:45:11+00:00)
Title: Version comparison improved using distutils.

Version comparison improved using distutils.