commit b99617cf8639dd64cdc3bc702f782f8c40903961
parent 595c5e06d898315c314ddff56926a5866ed55581
Author: Paul Steckler <steck@stecksoft.com>
Date: Sat, 21 Sep 2002 12:19:51 +0000
..
original commit: 7820bd775152d096e95440c8f9d6bdf01bebe345
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git 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)