# HG changeset patch # User wenzelm # Date 1158778976 -7200 # Node ID 8188d7605c5b4e2980cd15684bb3c32b65e278e5 # Parent 5079b9ee1ef5105e33519953ec70ad29a98c6b08 set terminal png color -- works for older versions of gnuplot; diff -r 5079b9ee1ef5 -r 8188d7605c5b Admin/isatest-statistics --- a/Admin/isatest-statistics Wed Sep 20 21:02:29 2006 +0200 +++ b/Admin/isatest-statistics Wed Sep 20 21:02:56 2006 +0200 @@ -76,7 +76,7 @@ do fgrep "$SESSION " "$ALL_DATA" > "$SESSION_DATA" gnuplot <