.settings
|
JDK 16 -> JDK 17
|
2023-12-07 12:42:08 +01:00 |
description
|
Changed label of the refine edge tool
|
2018-10-16 00:29:34 +02:00 |
icons
|
Added navigation tool
|
2018-07-31 00:27:00 +02:00 |
META-INF
|
Refactoring: new xtext project
|
2022-06-23 13:30:05 +02:00 |
.classpath
|
JDK 16 -> JDK 17
|
2023-12-07 12:42:08 +01:00 |
.gitignore
|
integration works with emoflon-ibex started
|
2018-05-21 14:11:20 +02:00 |
.project
|
integration works with emoflon-ibex started
|
2018-05-21 14:11:20 +02:00 |
build.properties
|
added feature project
|
2018-12-15 14:51:44 +01:00 |
plugin.properties
|
plugin renamed
|
2018-05-23 15:32:27 +02:00 |
plugin.xml
|
plugin renamed
|
2018-05-23 15:32:27 +02:00 |