tree ed103a95ecbbb654c688160a2233a93d72e5d591
parent 6e9654936fde252e9348e00e002d671371bd9403
author Dennis Huebner <dennis.huebner@itemis.de> 1405086773 +0200
committer Dennis Huebner <dennis.huebner@itemis.de> 1405086773 +0200

[emf] Activating new eclipse theme. Ed said it's okay.