ninja-ide/ninja-ide — pull request #778 by diegosarmentero (2012-08-13 11:08:36+00:00)
Title: update new version message

update new version message