From 98a7ba34e5edce17af9085edc084bd5e49823160 Mon Sep 17 00:00:00 2001 From: erg Date: Mon, 21 May 2007 21:10:37 +0000 Subject: [PATCH] Fix bug 1130 --- cmd/dotty/dotty.lefty | 1 - 1 file changed, 1 deletion(-) diff --git a/cmd/dotty/dotty.lefty b/cmd/dotty/dotty.lefty index f46be227c..c9719b13e 100644 --- a/cmd/dotty/dotty.lefty +++ b/cmd/dotty/dotty.lefty @@ -84,7 +84,6 @@ dotty = [ 'fontname' = 'Times-Roman'; 'fontcolor' = 'black'; 'color' = 'black'; - 'fillcolor' = 'lightgray'; 'style' = 'solid'; ]; 'edgeattr' = [ -- 2.40.0