From: Timo Heister Date: Fri, 17 Jan 2020 20:53:41 +0000 (-0500) Subject: Merge pull request #9382 from bangerth/graph-3 X-Git-Tag: v9.2.0-rc1~646 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e374f3e40b93a4ebfad776e86a566d193188a60b;p=dealii.git Merge pull request #9382 from bangerth/graph-3 Don't print lines connecting different parts of the legend. --- e374f3e40b93a4ebfad776e86a566d193188a60b