lukaseder 04d03bfda0 [#2530] First working draft		2019-02-22 15:35:35 +01:00
..
src/main	[#2530] First working draft	2019-02-22 15:35:35 +01:00
.gitignore
LICENSE.txt	[#5754] Remove copyright (and dates) from file headers	2017-01-02 17:14:26 +01:00
pom.xml	[#7649]	2018-07-10 10:09:23 +02:00