lukaseder f191c12d9e [#8118] NullPointerException in XMLDatabase, when no schemas could be loaded		2018-12-14 13:03:05 +01:00
..
src/main	[#8118] NullPointerException in XMLDatabase, when no schemas could be loaded	2018-12-14 13:03:05 +01:00
.gitignore
LICENSE.txt	[#5754] Remove copyright (and dates) from file headers	2017-01-02 17:14:26 +01:00
pom.xml	[#6260] Support loading multiple files in XMLDatabase	2018-12-14 12:52:15 +01:00