From 117050fbc23bceea33adc3d3632f35c56eb5183e Mon Sep 17 00:00:00 2001 From: Paul Steckler Date: Thu, 19 Sep 2002 22:33:24 +0000 Subject: [PATCH] .. original commit: 32e3f24fa9ecd7a68ba515b958e8efb4753016cd --- collects/help/private/search.ss | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index a1988499..96e50c02 100644 --- a/collects/help/private/search.ss +++ b/collects/help/private/search.ss @@ -2,7 +2,6 @@ (require (lib "string-constant.ss" "string-constants") "docpos.ss" "colldocs.ss" - "server.ss" "path.ss" (lib "list.ss"))