From 2894e21c9ba841f8db34a7e8e45706c8b37a6c19 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/macro-debugger/info.ss | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/macro-debugger/info.ss b/collects/macro-debugger/info.ss index 040dc7d..232746e 100644 --- a/collects/macro-debugger/info.ss +++ b/collects/macro-debugger/info.ss @@ -2,5 +2,4 @@ (module info setup/infotab (define name "Macro Debugger") (define tools '(["tool.ss"])) - (define tool-names '("Macro Stepper")) - (define doc.txt '"doc.txt")) + (define tool-names '("Macro Stepper")))