]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9333 from bangerth/pre
authorDaniel Arndt <arndtd@ornl.gov>
Wed, 15 Jan 2020 16:52:53 +0000 (09:52 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Jan 2020 16:52:53 +0000 (09:52 -0700)
commit77094b7b0a527271657b1c371642d0d95d649045
tree43a415990f30932c912811814fbc211450eee9a0
parent918fd130febcf2aeaefe61903c4665e4b2307c40
parent686595bbf64562f028bf41f21f012f9455e25cc2
Merge pull request #9333 from bangerth/pre

Use @pre instead of @note in a number of places.

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.