From 57a8f869a064c14898e29076c8e2a1899c19298b Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Fri, 1 Jun 2007 16:11:00 +0000 Subject: [PATCH] Removing info note svn: r6445 --- collects/web-server/info.ss | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/collects/web-server/info.ss b/collects/web-server/info.ss index 7cfabc717c..1f0fe5b965 100644 --- a/collects/web-server/info.ss +++ b/collects/web-server/info.ss @@ -1,8 +1,5 @@ (module info (lib "infotab.ss" "setup") - (define name "Web Server") - - (define compile-subcollections - (list)) + (define name "Web Server") (define mzscheme-launcher-libraries (list "private/launch-text.ss" "private/setup-launch.ss" ))