From b99617cf8639dd64cdc3bc702f782f8c40903961 Mon Sep 17 00:00:00 2001 From: Paul Steckler Date: Sat, 21 Sep 2002 12:19:51 +0000 Subject: [PATCH] .. original commit: 7820bd775152d096e95440c8f9d6bdf01bebe345 --- collects/help/help.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/help/help.ss b/collects/help/help.ss index 3f9cd7c5..6dd54686 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -3,7 +3,8 @@ (lib "mred.ss" "mred") (lib "cmdline.ss") "private/server.ss" - "private/browser.ss") + "private/browser.ss" + "private/plt-browser.ss") (define launch-browser? #t) (define external-connections? #f)