]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5322 from tjhei/gzip_optional
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Thu, 26 Oct 2017 15:10:38 +0000 (17:10 +0200)
committerGitHub <noreply@github.com>
Thu, 26 Oct 2017 15:10:38 +0000 (17:10 +0200)
commit4a0359408b312fed0020eca291097083bf3465d2
tree3bb031d4688d8a7edef274e8bef529c067bb60fd
parent55b8bfc9a24688998081d1bc4c09ddd16a406b31
parent0e58cb5fbedf7fe4519499b51b728f1615ccc049
Merge pull request #5322 from tjhei/gzip_optional

make zlib optional
source/dofs/dof_handler_policy.cc

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.