From: Matthias Maier Date: Tue, 11 Jul 2023 23:28:27 +0000 (+0000) Subject: Merge pull request #15721 from tjhei/test-examples2 X-Git-Tag: relicensing~697 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=30d6f491a52dfcffbf5f1d9a2a0a4adce53dfcf1;p=dealii.git Merge pull request #15721 from tjhei/test-examples2 tests/examples/ fix script return value --- 30d6f491a52dfcffbf5f1d9a2a0a4adce53dfcf1