Lukas Eder 5bd99d0f7c Release 3.12.2		2019-10-23 10:25:42 +02:00
..
release	Release 3.12.2	2019-10-23 10:25:42 +02:00
authors.txt
build.xml	Minor adjustments to pom.xml files	2019-09-05 21:37:34 +02:00
RELEASE-NOTES.txt.regex