Andreas Huber 5404253bc6 use TreeMap in PersistentMapDiskNode instead of list

2018-11-24 15:57:05 +01:00

..

src

use TreeMap in PersistentMapDiskNode instead of list

2018-11-24 15:57:05 +01:00

.gitignore

new implementation of an integer storage

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

build.gradle

tags are now stored as variable length byte sequences of longs

2018-11-17 20:03:46 +01:00