]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12080 from bangerth/check-for-directory
authorMatthias Maier <tamiko@43-1.org>
Tue, 4 Jul 2023 17:44:18 +0000 (17:44 +0000)
committerGitHub <noreply@github.com>
Tue, 4 Jul 2023 17:44:18 +0000 (17:44 +0000)
commitb357a1ff09a258539d45aec4dbb343c89c434ef3
treea09761cbfb77ac038928858cdc5defb84a1d9e10
parent37b3c3849b46be0fdb1b41064ef01d6026ce6f81
parent59a32fb3a8a8548c9df3668373c9b5c6f5235fee
Merge pull request #12080 from bangerth/check-for-directory

[C++17] Check whether the output directory exists.

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.