Andreas Mülder 4d718dcf0f Unload invalid resources (#2132) vor 7 Jahren
..
.settings 65e7315531 Java se 1.8 (#1452) vor 8 Jahren
META-INF e079d4783e increment to version 3.4.0 (#2091) vor 7 Jahren
src 4d718dcf0f Unload invalid resources (#2132) vor 7 Jahren
.classpath 65e7315531 Java se 1.8 (#1452) vor 8 Jahren
.gitignore 3c6eb975b0 Added .gitignore files vor 10 Jahren
.project fa17e75d27 version upgrade to 2.1.2 vor 12 Jahren
build.properties c91effb2b0 Initial commit of navigator ui provider vor 14 Jahren
plugin.xml 61f343c567 Added a menuGroupID to group the statechart specific menu entries vor 8 Jahren
pom.xml e079d4783e increment to version 3.4.0 (#2091) vor 7 Jahren
test.launch 4fbdf5f9f7 refactoring of sgraph basic tests vor 7 Jahren