]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 077a8f5 8df8f4a)
Merge pull request #7552 from bangerth/cmake
authorMatthias Maier <tamiko@43-1.org>
Thu, 27 Dec 2018 15:58:31 +0000 (09:58 -0600)
committerGitHub <noreply@github.com>
Thu, 27 Dec 2018 15:58:31 +0000 (09:58 -0600)
Clear the previously determined TBB version if we need to revert to the bundled one.


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.