]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16097 from bangerth/sstream
authorMarc Fehling <mafehling.git@gmail.com>
Fri, 6 Oct 2023 03:30:52 +0000 (21:30 -0600)
committerGitHub <noreply@github.com>
Fri, 6 Oct 2023 03:30:52 +0000 (21:30 -0600)
commit857a29042df2c4d9e65e82522ab398b4fbc1dbf4
tree7480f98080613ab17a836cdb6e0999e1f19fc3a3
parentbaff8c959c61fee1dbed644e78d6c8e7b93fcaa5
parentd281fd3a548ed608950bbe253fb9af73659f48fb
Merge pull request #16097 from bangerth/sstream

Remove unnecessary <sstream> header include.

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.