]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3437 from bangerth/be-careful-with-streams
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 3 Nov 2016 22:31:07 +0000 (16:31 -0600)
committerGitHub <noreply@github.com>
Thu, 3 Nov 2016 22:31:07 +0000 (16:31 -0600)
commitcfe17f29f4607411e4f6e1e062a348fcfed3dfe1
treec637edc2bc3579158e858f538fa1db7299881986
parentbf993d91a7323eaea8dc049a56ddc6daeb6d5473
parent34d0b1c07f3b978a17981b78a7b898e743f474fe
Merge pull request #3437 from bangerth/be-careful-with-streams

Be more careful with streams.

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.