Jörg Prante 819f31dffc recognize closeShifted setting in DefaultIndexDefinition		2023-02-10 17:20:50 +01:00
..
src	recognize closeShifted setting in DefaultIndexDefinition	2023-02-10 17:20:50 +01:00
build.gradle	replace netty-http by net-http-netty-client, update to Java 17, update to gradle 7.5.1	2022-11-04 16:12:19 +01:00