From: Marc Fehling Date: Mon, 7 Jul 2025 15:24:16 +0000 (+0200) Subject: Merge pull request #18638 from masterleinad/scale_step_1_results X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e4a8f396b8ded5fc9637abc3463e4cf07a446511;p=dealii.git Merge pull request #18638 from masterleinad/scale_step_1_results step-1: Scale pictures in the result section better --- e4a8f396b8ded5fc9637abc3463e4cf07a446511