From 2c77007bb804ecbe55fd75fef0cc13041ac475ff Mon Sep 17 00:00:00 2001 From: erg Date: Thu, 6 Sep 2007 20:47:02 +0000 Subject: [PATCH] Update info files --- doc/info/lang.html | 5 ----- 1 file changed, 5 deletions(-) diff --git a/doc/info/lang.html b/doc/info/lang.html index 5fc588bf9..1eb13a4fa 100644 --- a/doc/info/lang.html +++ b/doc/info/lang.html @@ -102,11 +102,6 @@ Vertical bars | separate alternatives. : [ subgraph [ ID ] ] '{' stmt_list '}' - - - | - subgraph ID - compass_pt : -- 2.40.0