From: Martin Kronbichler Date: Wed, 28 May 2025 06:46:37 +0000 (+0200) Subject: Merge pull request #18491 from bangerth/utilities X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=99ceddf54af691fc55302164396fa5003a188f64;p=dealii.git Merge pull request #18491 from bangerth/utilities Add two utility scripts that help debugging module problems. --- 99ceddf54af691fc55302164396fa5003a188f64