.settings
|
Iniital checkin
|
2017-09-12 12:48:21 +02:00 |
META-INF
|
Bumped version numbers
|
2018-06-04 21:12:17 +02:00 |
src-gen
|
remove generated files
|
2022-02-13 16:53:04 +01:00 |
xtend-gen
|
remove generated files
|
2022-02-13 16:53:04 +01:00 |
.antlr-generator-3.2.0-patch.jar
|
Iniital checkin
|
2017-09-12 12:48:21 +02:00 |
.classpath
|
Iniital checkin
|
2017-09-12 12:48:21 +02:00 |
.gitignore
|
Minor fixes for packaging
|
2017-10-05 09:18:23 +02:00 |
.project
|
Iniital checkin
|
2017-09-12 12:48:21 +02:00 |
build.properties
|
Iniital checkin
|
2017-09-12 12:48:21 +02:00 |
plugin.xml
|
Added preferences store and UI
|
2017-09-19 21:43:50 +02:00 |
pom.xml
|
Bumped version numbers
|
2018-06-04 21:12:17 +02:00 |