Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
set terminal png color -- works for older versions of gnuplot;
authorwenzelm
Wed, 20 Sep 2006 21:02:56 +0200
changeset 20650 8188d7605c5b
parent 20649 5079b9ee1ef5
child 20651 41a63aabea83
set terminal png color -- works for older versions of gnuplot;
Admin/isatest-statistics file | annotate | diff | comparison | revisions 
--- 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 <<EOF
-set terminal png
+set terminal png color
 set output "$DIR/${SESSION}.png"
 set xdata time
 set timefmt "%Y-%m-%d"
isabelle