Andrea Cavalli 0062a36ed5 Change defaults		2023-05-23 00:20:14 +02:00
..
data-generator	Remove compressed cache, rocksdb 8.0.0	2023-03-25 13:42:49 +01:00
java	Change defaults	2023-05-23 00:20:14 +02:00
resources/META-INF/services	Update luene, update rocksdb	2022-04-30 21:56:42 +02:00