From: Bruno Turcksin Date: Wed, 7 Apr 2021 02:16:51 +0000 (-0400) Subject: Merge pull request #12019 from bangerth/15-5 X-Git-Tag: v9.3.0-rc1~235 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=456e2d4c88640c991a5e81eb3d60eae6df424005;p=dealii.git Merge pull request #12019 from bangerth/15-5 Break generation of graphical data into its own function in step-15. --- 456e2d4c88640c991a5e81eb3d60eae6df424005