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