]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5891 from bangerth/doc-update-2
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Tue, 13 Feb 2018 13:46:14 +0000 (14:46 +0100)
committerGitHub <noreply@github.com>
Tue, 13 Feb 2018 13:46:14 +0000 (14:46 +0100)
commitc0cb16ce3e3940ef01b14a8c2c178c4386ceccba
treeb40ffdabbef2ae2543ad7c532c90f4896c19421d
parent6d100ee28797beac13450bfa7164a7e7c4ac69a0
parent16357130f358a876dbafafa06ceea676ba40745d
Merge pull request #5891 from bangerth/doc-update-2

Update documentation on 'deallog' in step-3.

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.