Andreas Huber dbe0e02517 rename cluster to partition ...

We are not clustering the indices, we
are partitioning them.

2019-04-14 10:10:16 +02:00

..

src

rename cluster to partition

2019-04-14 10:10:16 +02:00

.gitignore

new file format

2016-12-27 10:24:56 +01:00

build.gradle

update java 3rd-party libs

2018-11-20 19:13:59 +01:00