From: Wolfgang Bangerth Date: Fri, 17 Jan 2020 16:56:43 +0000 (-0700) Subject: Merge pull request #9370 from bangerth/graph X-Git-Tag: v9.2.0-rc1~650 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8b43894be044d7f591bc64dd052bbd0817146bd0;p=dealii.git Merge pull request #9370 from bangerth/graph More work on the tutorial graph --- 8b43894be044d7f591bc64dd052bbd0817146bd0