ninja-ide/ninja-ide — pull request #782 by diegosarmentero (2012-08-14 10:31:29+00:00)
Title: adding classic theme

adding classic theme