lukaseder 6ec1958876 [#7497] Adaptations after the merge		2018-05-23 12:57:30 +02:00
..
src/main	[#7497] Adaptations after the merge	2018-05-23 12:57:30 +02: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