From: Matthias Maier Date: Sun, 21 Jul 2024 13:51:20 +0000 (+0000) Subject: Merge pull request #17276 from tamiko/pathsearch_be_gone X-Git-Tag: v9.6.0-rc1~47 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=92d78b8c8d2e28fd39aab58988ec68dbcfaf8a7a;p=dealii.git Merge pull request #17276 from tamiko/pathsearch_be_gone Deprecate PathSearch, remove internal use --- 92d78b8c8d2e28fd39aab58988ec68dbcfaf8a7a