From 39b1e8408f3137955bdb8f1bfa851ffc273c869f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 10 Jul 2013 10:30:23 -0600 Subject: [PATCH] remove core dependency on `mzlib/restart' original commit: 2a4f32d853c90737ae546127629974716a68214b --- .../compatibility-pkgs/compatibility-lib}/mzlib/restart.rkt | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {racket/lib/collects => pkgs/compatibility-pkgs/compatibility-lib}/mzlib/restart.rkt (100%) diff --git a/racket/lib/collects/mzlib/restart.rkt b/pkgs/compatibility-pkgs/compatibility-lib/mzlib/restart.rkt similarity index 100% rename from racket/lib/collects/mzlib/restart.rkt rename to pkgs/compatibility-pkgs/compatibility-lib/mzlib/restart.rkt