From 43cf491b3f800dd2240ece0952b96d1d4f6aa35a Mon Sep 17 00:00:00 2001 From: Jens Axel Soegaard Date: Sun, 26 Aug 2007 21:36:57 +0000 Subject: [PATCH] Changed header the Help Desk Home page. svn: r7185 --- collects/help/servlets/private/split-screen.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/help/servlets/private/split-screen.ss b/collects/help/servlets/private/split-screen.ss index b384a969da..73ce93f498 100644 --- a/collects/help/servlets/private/split-screen.ss +++ b/collects/help/servlets/private/split-screen.ss @@ -62,7 +62,7 @@ (html-page #:title title #:body (if (equal? left-items "home") - `(div (h1 "HelpDesk Home") ,(html-left-items right-items)) + `(div (h1 "PLT Help Desk") ,(html-left-items right-items)) `(div (h1 ,right-header) ,@(html-right-items right-items)))))