From 13e4753cd288bc12438a55d06c5f8e633751aba3 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 12 Feb 2008 13:09:55 +0000 Subject: [PATCH] remove unused entry svn: r8632 --- collects/games/info.ss | 3 --- 1 file changed, 3 deletions(-) diff --git a/collects/games/info.ss b/collects/games/info.ss index 11eba1f6b0..cc638315bb 100644 --- a/collects/games/info.ss +++ b/collects/games/info.ss @@ -2,6 +2,3 @@ (define mred-launcher-libraries (list "games.ss")) (define mred-launcher-names (list "PLT Games")) -(define doc-sub-collections - '("cards" "paint-by-numbers" "same" "lights-out" "aces" "spider" "memory" - "pousse" "crazy8s" "gcalc" "parcheesi" "gl-board-game" "jewel" "doors"))