renamed help desk to plt help
svn: r8029
This commit is contained in:
parent
72d8885792
commit
0b2b17068d
|
@ -13,4 +13,4 @@
|
||||||
|#
|
|#
|
||||||
))
|
))
|
||||||
(define mzscheme-launcher-libraries '("help.ss"))
|
(define mzscheme-launcher-libraries '("help.ss"))
|
||||||
(define mzscheme-launcher-names '("Help Desk")))
|
(define mzscheme-launcher-names '("PLT Help")))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user