]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ac24d4d cc8e902)
Merge pull request #10508 from bangerth/cmake
authorMatthias Maier <tamiko@43-1.org>
Thu, 11 Jun 2020 17:57:12 +0000 (12:57 -0500)
committerGitHub <noreply@github.com>
Thu, 11 Jun 2020 17:57:12 +0000 (12:57 -0500)
Better describe what we do when running cmake for code gallery programs.


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.