]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16350 from bangerth/optional
authorMartin Kronbichler <martin.kronbichler@uni-a.de>
Fri, 15 Dec 2023 08:06:49 +0000 (09:06 +0100)
committerGitHub <noreply@github.com>
Fri, 15 Dec 2023 08:06:49 +0000 (09:06 +0100)
commitad01b962b8f624e9c369d506c1b7159f8c815b0d
treecad24b35b8eea63c7234761ce3e0fd15d0f14f8e
parent0a05364994b8d6af147a9a0c235330e40d51d84e
parente0c4ee8a641677e9054fb2f23be6a8fcba8c28ea
Merge pull request #16350 from bangerth/optional

Use std::optional instead of a hand-rolled version of it.

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.