From: Denis Davydov Date: Sun, 11 Mar 2018 10:42:42 +0000 (+0530) Subject: Merge pull request #5998 from bangerth/update-example-output X-Git-Tag: v9.0.0-rc1~341 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=200dbc56f98f05c07286c595f986197f972c023c;p=dealii.git Merge pull request #5998 from bangerth/update-example-output Update a couple of things on how we generate output in the example steps --- 200dbc56f98f05c07286c595f986197f972c023c