| .. |
|
.settings
|
65e7315531
Java se 1.8 (#1452)
|
8 jaren geleden |
|
META-INF
|
b589b95f67
increased version to 3.0.1 (#1578)
|
8 jaren geleden |
|
src
|
acabb8ab9e
Add missing Copyright
|
9 jaren geleden |
|
.classpath
|
65e7315531
Java se 1.8 (#1452)
|
8 jaren geleden |
|
.gitignore
|
3c6eb975b0
Added .gitignore files
|
10 jaren geleden |
|
.project
|
fa17e75d27
version upgrade to 2.1.2
|
12 jaren geleden |
|
build.properties
|
c91effb2b0
Initial commit of navigator ui provider
|
14 jaren geleden |
|
plugin.xml
|
61f343c567
Added a menuGroupID to group the statechart specific menu entries
|
8 jaren geleden |
|
pom.xml
|
b589b95f67
increased version to 3.0.1 (#1578)
|
8 jaren geleden |
Andreas Mülder
b589b95f67
increased version to 3.0.1 (#1578)