3dd3ed4905
The database files have been doubled in size compared to the previous files being used. For this reason the database files are now gzip compressed, which required using `GZIPInputStream` when loading database files. |
||
---|---|---|
.. | ||
src/test | ||
build.gradle |