]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9371 from luca-heltai/compress-decompress
authorMatthias Maier <tamiko@43-1.org>
Sun, 19 Jan 2020 17:41:09 +0000 (11:41 -0600)
committerGitHub <noreply@github.com>
Sun, 19 Jan 2020 17:41:09 +0000 (11:41 -0600)
commit7822de1f9dc2951df577d6ac8b579a6c75684484
treed3ed1e72a7db9c439b326fa5d5ef150fe2b71e49
parentb155c6a0b03dd2a6c8fcced470ecc703124a48dd
parentcf1bbfb3cd35b11d4504bd5b2f4ea679859d4963
Merge pull request #9371 from luca-heltai/compress-decompress

New compress/decompress using gzip.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.