]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12680 from marcfehling/fix-75
authorWolfgang Bangerth <bangerth@colostate.edu>
Fri, 20 Aug 2021 02:14:17 +0000 (20:14 -0600)
committerGitHub <noreply@github.com>
Fri, 20 Aug 2021 02:14:17 +0000 (20:14 -0600)
commit8b2484b0b51d96db179f755f2339e010807c517c
tree0eaa58e07718457e97e2a4249bc62b273e68c7ad
parent87551156e409720ca2c31f99b1b9e3c66d56b8c4
parent0b335d7e629366de8023437cb1fdf772696077c4
Merge pull request #12680 from marcfehling/fix-75

Prevent excess timer output.

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.