markus.muehlbrandt@itemis.de 9bbd1b5e64 The fonts of transition labels and text compartments are now changeable with the appearance property view. vor 14 Jahren
..
.settings 1e330f450f Moved plugins to separate module. vor 14 Jahren
META-INF 984cd97330 Plugin and feature names changed. vor 14 Jahren
src 9bbd1b5e64 The fonts of transition labels and text compartments are now changeable with the appearance property view. vor 14 Jahren
.classpath 1e330f450f Moved plugins to separate module. vor 14 Jahren
.project 1e330f450f Moved plugins to separate module. vor 14 Jahren
build.properties 1e330f450f Moved plugins to separate module. vor 14 Jahren