From: David Wells Date: Sat, 17 May 2025 01:38:12 +0000 (-0400) Subject: Merge pull request #18460 from emmanuel-ferdman/master X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=74e9678af28d7a734c43d5a2e9d30ad5ce0f939d;p=dealii.git Merge pull request #18460 from emmanuel-ferdman/master Modernize executable path handling in code formatting script --- 74e9678af28d7a734c43d5a2e9d30ad5ce0f939d