From ee85417518c06fc8288ae0599fa61b9b144b16ca Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 6 Jan 2008 14:04:53 +0000 Subject: [PATCH] removed extra require svn: r8236 original commit: b2b8315ac38d18d1dfda5950e86411a969add1dc --- collects/help/search.ss | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/help/search.ss b/collects/help/search.ss index cee470d6..b5d7bbee 100644 --- a/collects/help/search.ss +++ b/collects/help/search.ss @@ -5,7 +5,6 @@ scribble/struct scribble/manual-struct scribble/decode - scribble/basic scribble/manual (prefix-in scheme: scribble/scheme) net/sendurl