simon/yakindu @ f30954b80e9696e7b15c81185f4e6e8b13c1bca6

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