Jörg Prante 22ab37b3e5 metric 1.2.0, fix shift index, add prune index test		2019-02-23 13:38:41 +01:00
..
src	metric 1.2.0, fix shift index, add prune index test	2019-02-23 13:38:41 +01:00
build.gradle	large refactoring, new subpackage structure, Gradle 5.2.1, Java 11	2019-02-18 17:21:57 +01:00