ninja-ide/ninja-ide — pull request #515 by diegosarmentero (2012-05-23 21:55:39+00:00)
Title: Updating splash screen image

Updating splash screen imagev