From 88a4753c56a4f7d2eb635eb547039062811cb85f Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 7 Feb 2006 20:35:17 +0000 Subject: [PATCH] "Games" -> "PLT Games" svn: r2162 --- collects/games/info.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/games/info.ss b/collects/games/info.ss index 6ae74b0041..ad20213ad8 100644 --- 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"