ninja-ide/ninja-ide — pull request #137 by diegosarmentero (2012-01-02 12:40:18+00:00)
Title: Minimal improves in Start Page header

Minimal improves in Start Page header