From 790a5ad30df3e71110ef4ab7794b00dcc558eacf Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 11 Aug 2008 12:24:16 +0000 Subject: [PATCH] script-installer.ss -> installer.ss svn: r11181 --- collects/mred/info.ss | 2 +- collects/mred/{script-installer.ss => installer.ss} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename collects/mred/{script-installer.ss => installer.ss} (100%) diff --git a/collects/mred/info.ss b/collects/mred/info.ss index 40fb41f943..0725d8f23c 100644 --- a/collects/mred/info.ss +++ b/collects/mred/info.ss @@ -1,4 +1,4 @@ #lang setup/infotab (define version '(400)) -(define post-install-collection "script-installer.ss") +(define post-install-collection "installer.ss") diff --git a/collects/mred/script-installer.ss b/collects/mred/installer.ss similarity index 100% rename from collects/mred/script-installer.ss rename to collects/mred/installer.ss