"Games" -> "PLT Games"

svn: r2162
2006-02-07 20:35:17 +00:00 · 2006-02-07 20:35:17 +00:00 · 88a4753c56
commit 88a4753c56
parent fedc1f1dde
1 changed files with 1 additions and 1 deletions
--- a/collects/games/info.ss
+++ b/collects/games/info.ss
@ -2,7 +2,7 @@
  (define name "Games")
  (define doc.txt "doc.txt")
  (define mred-launcher-libraries (list "games.ss"))
-  (define mred-launcher-names (list "Games"))
+  (define mred-launcher-names (list "PLT Games"))
  (define doc-sub-collections
    (list "cards" "paint-by-numbers" "same" "lights-out" "aces" "spider"
 	  "memory" "pousse" "crazy8s"