ninja-ide/ninja-ide — pull request #644 by diegosarmentero (2012-06-23 22:58:55+00:00)
Title: improves avoiding unnecessary updates of the module

improves avoiding unnecessary updates of the module