From d64c7213dfd1641ba9eb9d0a7d6532594b50bd34 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 4 Feb 2008 20:31:04 +0000 Subject: [PATCH] removed unused doc.txt entries from info.ss files svn: r8529 original commit: 59b5f3a72758c7d6eaec0a04f243e76afbb43762 --- collects/embedded-gui/info.ss | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/embedded-gui/info.ss b/collects/embedded-gui/info.ss index afadd172..8b7dcd94 100644 --- a/collects/embedded-gui/info.ss +++ b/collects/embedded-gui/info.ss @@ -1,5 +1,4 @@ (module info setup/infotab - (define name "Embedded GUI") - (define doc.txt "doc.txt")) + (define name "Embedded GUI"))