From 819ffe6460dd198bb93593c0808237cc25d96cd3 Mon Sep 17 00:00:00 2001
From: Andy Fingerhut <andy_fingerhut@alum.wustl.edu>
Date: Sun, 25 Nov 2012 14:08:15 -0800
Subject: [PATCH] Make gnuplot-generated graphs a bit shorter, to better fit in
 web browser screens

---
 bin/results2graphs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/results2graphs b/bin/results2graphs
index 01735b8..b30a802 100755
--- a/bin/results2graphs
+++ b/bin/results2graphs
@@ -406,7 +406,7 @@ consisting of one or more Measurement elements\n"
               plotline (str "plot " plotrange (str/join ", " plotlines) "\n")
               command (str
                        "set title '" title "'\n"
-                       "set terminal png size 800,800\n"
+                       "set terminal png size 800,600\n"
                        "set lmargin 8\n"
                        "set bmargin 7\n"
                        "set key outside\n"