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. |
||
---|---|---|
.. | ||
licenses | ||
src | ||
build.gradle |