lukaseder 9958df4f03 [#8287] Change message "Please report this bug here" for cases which are not bugs		2019-02-05 10:11:05 +01:00
..
src/main	[#8287] Change message "Please report this bug here" for cases which are not bugs	2019-02-05 10:11:05 +01:00
.gitignore
LICENSE.txt
pom.xml	[#6260] Support loading multiple files in XMLDatabase	2018-12-14 12:52:15 +01:00