]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9248 from bangerth/possibilities
authorTimo Heister <timo.heister@gmail.com>
Tue, 7 Jan 2020 21:40:53 +0000 (16:40 -0500)
committerGitHub <noreply@github.com>
Tue, 7 Jan 2020 21:40:53 +0000 (16:40 -0500)
commit7215e6a7988e6d9478627ccee56e09001f6d69c1
treec033a65aba7c0c1241e75f59f1e5c09bd7729168
parent32810e31d9918d1611c080b2e07b5f535f9ee014
parent8593d862e2972a579ef7af093bfbd8c0761cf523
Merge pull request #9248 from bangerth/possibilities

Mark 'Possibilities for extensions' as <h3>.

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.