]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7087 from bangerth/doc-update
authorDenis Davydov <davydden@gmail.com>
Tue, 21 Aug 2018 14:59:08 +0000 (16:59 +0200)
committerGitHub <noreply@github.com>
Tue, 21 Aug 2018 14:59:08 +0000 (16:59 +0200)
commit26a79b856b8825c2c1476ff9b8a220d3069e8d39
tree88826f48c58d35360f815a031952f38de2708e9e
parent712080aed36e10487309920ade71bb1604ffb772
parent8bfbac19d1255aa92c84db3904c9b0548f18dcaa
Merge pull request #7087 from bangerth/doc-update

Add some discussion about extractors.

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.