]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5064 from bangerth/cleanup-logstream
authorBruno Turcksin <bruno.turcksin@gmail.com>
Tue, 12 Sep 2017 21:14:23 +0000 (17:14 -0400)
committerGitHub <noreply@github.com>
Tue, 12 Sep 2017 21:14:23 +0000 (17:14 -0400)
commit4f56decfeeeb4cb3ba45dc0c54d06065b843411f
tree320d054aaba17f394985ccf89c5ec89472a2e583
parent87b80a1b4b3f45e6e4a50212f1171d9a14e87e35
parent1d16e98d788cfbd30411ce2ed0a233f273561ff6
Merge pull request #5064 from bangerth/cleanup-logstream

Some minor cleanups of LogStream.

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.