]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9a3f796 671b07f)
Merge pull request #5998 from bangerth/update-example-output
authorDenis Davydov <davydden@gmail.com>
Sun, 11 Mar 2018 10:42:42 +0000 (16:12 +0530)
committerGitHub <noreply@github.com>
Sun, 11 Mar 2018 10:42:42 +0000 (16:12 +0530)
Update a couple of things on how we generate output in the example steps


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.