tree b92be939224e9df4407653e298a11ff101ab8753
parent 076d4c3c78b93d499c09a801766ca0251d9709f4
author Dennis Huebner <dennis.huebner@itemis.de> 1405079457 +0200
committer Dennis Huebner <dennis.huebner@itemis.de> 1405079457 +0200

[xtext] fixed typo, trieing the new theme