]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9924 from drwells/improve-compilation-times
authorTimo Heister <timo.heister@gmail.com>
Mon, 20 Apr 2020 22:25:50 +0000 (18:25 -0400)
committerGitHub <noreply@github.com>
Mon, 20 Apr 2020 22:25:50 +0000 (18:25 -0400)
commita3408abb8bee38929c1fc295911e7259a63d00eb
treefa89a6dc186179ab61d88875792089de2c020be5
parente8d478023655648f183b3d01ded18f0b0bb0b15e
parentbe81536192fe9750443b86d5ffe1437211eea121
Merge pull request #9924 from drwells/improve-compilation-times

Improve compilation times

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.