From: Matthias Maier Date: Tue, 4 Jul 2023 17:44:18 +0000 (+0000) Subject: Merge pull request #12080 from bangerth/check-for-directory X-Git-Tag: relicensing~758 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b357a1ff09a258539d45aec4dbb343c89c434ef3;p=dealii.git Merge pull request #12080 from bangerth/check-for-directory [C++17] Check whether the output directory exists. --- b357a1ff09a258539d45aec4dbb343c89c434ef3