|
.settings
|
puts some cleanup
|
2023-06-27 16:56:03 +02:00 |
|
META-INF
|
updates version numbers, fixes missing pom.xml
|
2023-02-27 20:29:41 +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, fixes missing pom.xml
|
2023-02-27 20:29:41 +01:00 |
|
toc.xml
|
direct generation of help plugin
|
2022-01-08 17:36:52 +01:00 |
Eyck Jentzsch
81f37d4740