From 0b2b17068d5bd0c9e4f855c32a60bb6ec2eddc1d Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sun, 16 Dec 2007 12:39:49 +0000
Subject: [PATCH] renamed help desk to plt help

svn: r8029
---
 collects/help/info.ss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/help/info.ss b/collects/help/info.ss
index dfd9043aea..b0a1b2c688 100644
--- a/collects/help/info.ss
+++ b/collects/help/info.ss
@@ -13,4 +13,4 @@
 |#
       ))
   (define mzscheme-launcher-libraries '("help.ss"))
-  (define mzscheme-launcher-names     '("Help Desk")))
+  (define mzscheme-launcher-names     '("PLT Help")))