From: Luca Heltai Date: Wed, 21 Aug 2019 11:48:26 +0000 (+0200) Subject: Merge pull request #8564 from bangerth/svg-2 X-Git-Tag: v9.2.0-rc1~1209 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8c22886dca58d14f7841c32bdbd3f9b3ffc4b71a;p=dealii.git Merge pull request #8564 from bangerth/svg-2 Change GridOut::write_svg() defaults --- 8c22886dca58d14f7841c32bdbd3f9b3ffc4b71a