lukaseder ba60748e83 [#7127] Exclude indexes from non-input-schemata		2018-02-01 11:07:52 +01:00
..
src/main	[#7127] Exclude indexes from non-input-schemata	2018-02-01 11:07:52 +01:00
.gitignore
LICENSE.txt	[#5754] Remove copyright (and dates) from file headers	2017-01-02 17:14:26 +01:00
pom.xml	Release 3.11.0-SNAPSHOT	2017-09-29 15:49:30 +02:00