]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 57626b9 ab2d618)
Merge pull request #1007 from bangerth/guard-for-libz
authorMatthias Maier <tamiko@43-1.org>
Sun, 14 Jun 2015 20:53:29 +0000 (22:53 +0200)
committerMatthias Maier <tamiko@43-1.org>
Sun, 14 Jun 2015 20:53:29 +0000 (22:53 +0200)
Ensure that certain tests are only run when zlib has been detected.


Trivial merge
Mirror of the development repository for deal.II

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.