From: David Wells Date: Tue, 4 Feb 2025 18:33:41 +0000 (-0500) Subject: Merge pull request #18078 from bangerth/inst X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=25b025432f65a75663fbafa4fd427afba89ea594;p=dealii.git Merge pull request #18078 from bangerth/inst Don't use .inst files where not necessary. --- 25b025432f65a75663fbafa4fd427afba89ea594