]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4813 from tamiko/clean_up_logstream-2
authorMatthias Maier <tamiko@43-1.org>
Sun, 13 Aug 2017 19:39:32 +0000 (14:39 -0500)
committerGitHub <noreply@github.com>
Sun, 13 Aug 2017 19:39:32 +0000 (14:39 -0500)
commit25abfa9e85adfed719690c86058f29937221977e
tree31217bb4c30665e5abf971d7c24f52309a18160b
parentd52c4a99a19decb8b7d11b5881f19d5beafa54d5
parent71c3056b833d3fd9efc4ec527b5e7957cd446baf
Merge pull request #4813 from tamiko/clean_up_logstream-2

LogStream: Remove log_cerr

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.