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