Compression as a user option (fixes #446)

This commit is contained in:
Jakob Borg
2014-07-28 12:44:46 +02:00
parent 933b61f99f
commit 67a3fb8bf2
10 changed files with 45 additions and 24 deletions

File diff suppressed because one or more lines are too long