From: Wolfgang Bangerth Date: Fri, 24 Jun 2016 20:23:02 +0000 (-0700) Subject: Merge pull request #2710 from drwells/gnuplot-general-axis-labels X-Git-Tag: v8.5.0-rc1~955 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0a82b4f88d670f254be4b98e530cd4c0759dba1d;p=dealii.git Merge pull request #2710 from drwells/gnuplot-general-axis-labels Implement different names for gnuplot output axes. --- 0a82b4f88d670f254be4b98e530cd4c0759dba1d