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