From 6873e8698af6e028968d0a5c25010b87175db80a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 12 Feb 2002 16:49:19 +0000 Subject: [PATCH] . original commit: 9bc7798466eea7038de54c2b972b3349bae71a2e --- collects/launcher/launcher-sig.ss | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/launcher/launcher-sig.ss b/collects/launcher/launcher-sig.ss index 50b5d11ffa..689b354a95 100644 --- a/collects/launcher/launcher-sig.ss +++ b/collects/launcher/launcher-sig.ss @@ -15,5 +15,8 @@ mzscheme-program-launcher-path install-mred-program-launcher - install-mzscheme-program-launcher))) + install-mzscheme-program-launcher + current-launcher-variant + available-mred-variants + available-mzscheme-variants)))