pwpiwi 7f9e4c257f hardnested: reduce disk space for tables (by > 700MBytes) and other minor changes ...

- compress tables
- minor changes to progress reporting
- free memory on aborts (@iceman1001)

2017-06-30 08:48:37 +02:00

6.9 KiB

Raw History

View Raw