From: David Wells Date: Mon, 28 Oct 2019 14:51:49 +0000 (-0400) Subject: Merge pull request #8970 from peterrum/svg_docu X-Git-Tag: v9.2.0-rc1~937 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ec0e446ac5787e676b075f7796854f7505fcdb50;p=dealii.git Merge pull request #8970 from peterrum/svg_docu Fix docu of GridOutFlags::Svg --- ec0e446ac5787e676b075f7796854f7505fcdb50