.settings
|
first working version of help with dummy input
|
2022-01-08 17:24:26 +01:00 |
META-INF
|
updates version numbers
|
2023-02-21 19:56:55 +01:00 |
src
|
fix maven build
|
2022-01-09 08:57:45 +01:00 |
.classpath
|
fix maven build
|
2022-01-09 08:57:45 +01:00 |
.gitignore
|
fix maven build
|
2022-01-09 08:57:45 +01:00 |
.project
|
first working version of help with dummy input
|
2022-01-08 17:24:26 +01:00 |
build.properties
|
update target platform to release 21-12
|
2022-05-16 21:07:32 +02:00 |
index.xml
|
direct generation of help plugin
|
2022-01-08 17:36:52 +01:00 |
plugin.xml
|
finishing touches on help system
|
2022-01-08 19:26:22 +01:00 |
pom.xml
|
updates version numbers
|
2023-02-21 19:56:55 +01:00 |
toc.xml
|
direct generation of help plugin
|
2022-01-08 17:36:52 +01:00 |