From: Matthias Maier <tamiko@43-1.org>
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