From c4661de04926b08757efbd1d483fa6512f110f69 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 4 Feb 2011 04:30:12 -0500 Subject: [PATCH] Bump version numbers of mzscheme and mred. (These things should not be used anymore.) --- collects/mred/info.rkt | 2 +- collects/mzscheme/info.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/mred/info.rkt b/collects/mred/info.rkt index 9b6cbaad87..c522ee60d2 100644 --- a/collects/mred/info.rkt +++ b/collects/mred/info.rkt @@ -1,4 +1,4 @@ #lang setup/infotab -(define version '(400)) +(define version '(510)) (define post-install-collection "installer.rkt") diff --git a/collects/mzscheme/info.rkt b/collects/mzscheme/info.rkt index 0ec5662c1f..dd99f67f26 100644 --- a/collects/mzscheme/info.rkt +++ b/collects/mzscheme/info.rkt @@ -1,6 +1,6 @@ #lang setup/infotab -(define version '(400)) +(define version '(510)) (define post-install-collection "installer.rkt")