From: Martin Kronbichler <kronbichler@lnm.mw.tum.de>
Date: Thu, 13 Feb 2020 07:04:37 +0000 (+0100)
Subject: Merge pull request #9522 from bangerth/14
X-Git-Tag: v9.2.0-rc1~524
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e3de135abba0dca81d297f2887b98f4d1e5afb75;p=dealii.git

Merge pull request #9522 from bangerth/14

Scale a graphic in the results section of step-14.
---

e3de135abba0dca81d297f2887b98f4d1e5afb75