Andreas Huber 8bb98deb1e PersistentMap can store data in multiple nodes

2018-10-26 18:35:32 +02:00

..

src

PersistentMap can store data in multiple nodes

2018-10-26 18:35:32 +02:00

.gitignore

new implementation of an integer storage

2018-08-26 09:37:56 +02:00

build.gradle

replace the FolderStorage with DiskStorage

2018-09-12 09:35:07 +02:00