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"))