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	changes from 6.3 branch, some fixes, better timeouts, better index shift	2019-02-22 20:40:29 +01:00