Jkobs 14c520722a Merge branch '13.0' into NewUpdateChecker		2022-11-10 10:14:16 +01:00
src/main	Merge branch '13.0' into NewUpdateChecker	2022-11-10 10:14:16 +01:00
.gitignore	Initial	2022-11-10 10:12:15 +01:00
pom.xml	13.3_DEV	2022-11-10 10:09:07 +01:00