]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1187 from tjhei/r83_pr1179
authorMatthias Maier <tamiko@43-1.org>
Fri, 24 Jul 2015 13:55:16 +0000 (08:55 -0500)
committerMatthias Maier <tamiko@43-1.org>
Fri, 24 Jul 2015 13:55:16 +0000 (08:55 -0500)
commit4078edf9510ac7920cade91fbfcbbcc95931e6af
treeba5bb175af2974f7d6f35ec48dbf3053f830f52d
parenta877ad1341143c274b09563dcd4de764411bb512
parent7428b88915f0c93ec9418b40d41bc8b286e9698c
Merge pull request #1187 from tjhei/r83_pr1179

[8.3] take over #1179: Fix cmake configure issue introduced by #1148

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.