From: Matthias Maier Date: Tue, 16 Jan 2024 01:09:10 +0000 (+0000) Subject: Merge pull request #16471 from tjhei/test-examples4 X-Git-Tag: relicensing~156 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6b80a1a0e94179eaf03b5087d0239d7392fa4c6d;p=dealii.git Merge pull request #16471 from tjhei/test-examples4 test examples: support loading files --- 6b80a1a0e94179eaf03b5087d0239d7392fa4c6d