From: David Wells Date: Thu, 19 Jun 2025 12:20:45 +0000 (-0400) Subject: Merge pull request #18572 from marcfehling/xml_pretty X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1641958b1e9587593d66e298540611f5fbb5e351;p=dealii.git Merge pull request #18572 from marcfehling/xml_pretty Pretty print XML output of ParameterHandler::print_parameters. --- 1641958b1e9587593d66e298540611f5fbb5e351