| .. |
|
.settings
|
65e7315531
Java se 1.8 (#1452)
|
8 years ago |
|
META-INF
|
65e7315531
Java se 1.8 (#1452)
|
8 years ago |
|
src
|
acabb8ab9e
Add missing Copyright
|
9 years ago |
|
.classpath
|
65e7315531
Java se 1.8 (#1452)
|
8 years ago |
|
.gitignore
|
3c6eb975b0
Added .gitignore files
|
10 years ago |
|
.project
|
fa17e75d27
version upgrade to 2.1.2
|
12 years ago |
|
build.properties
|
c91effb2b0
Initial commit of navigator ui provider
|
14 years ago |
|
plugin.xml
|
61f343c567
Added a menuGroupID to group the statechart specific menu entries
|
8 years ago |
|
pom.xml
|
9ec36e28f3
increased version qualifier to 3.0.0 (#1450)
|
8 years ago |
jthoene
61f343c567
Added a menuGroupID to group the statechart specific menu entries