]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6893 from masterleinad/fix_grid_headers
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Fri, 6 Jul 2018 22:39:05 +0000 (00:39 +0200)
committerGitHub <noreply@github.com>
Fri, 6 Jul 2018 22:39:05 +0000 (00:39 +0200)
commit7ef63f782f5712634e2229f406dd1253ad10e5c0
tree6b23cd44bbc07deaafbaa01a878e7ea901910fa5
parent4d995e8c93a8724beb4e26992d54875d95042194
parentae6e8737a4dae4eb4b727e6a80fb5dfa29fb1575
Merge pull request #6893 from masterleinad/fix_grid_headers

Fix comments in @code blocks in grid headers

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.