From d043a08b82b4c5e5b9cfbf32f40bc55d31f12fc2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 18 Feb 2013 17:20:38 -0700 Subject: [PATCH] fix `plt-games' launcher --- collects/games/info.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/games/info.rkt b/collects/games/info.rkt index a11cb45de7..a590147ac6 100644 --- a/collects/games/info.rkt +++ b/collects/games/info.rkt @@ -2,5 +2,5 @@ (define scribblings '(("scribblings/games.scrbl" (multi-page) (gui-library)))) -(define racket-gui-launcher-libraries (list "main.rkt")) -(define racket-gui-launcher-names (list "PLT Games")) +(define gracket-launcher-libraries (list "main.rkt")) +(define gracket-launcher-names (list "PLT Games"))