From 32ebebec3460b8493dd0061bdd4317cf2aefef0e Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 10 Aug 2021 08:40:11 -0400 Subject: [PATCH] Move racket preserves-tool out of the way (in favour of the rust one) --- implementations/racket/preserves/preserves/info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/implementations/racket/preserves/preserves/info.rkt b/implementations/racket/preserves/preserves/info.rkt index 2532275..95e2b61 100644 --- a/implementations/racket/preserves/preserves/info.rkt +++ b/implementations/racket/preserves/preserves/info.rkt @@ -1,3 +1,3 @@ #lang setup/infotab -(define racket-launcher-names '("preserves-tool")) +(define racket-launcher-names '("preserves-tool-rkt")) (define racket-launcher-libraries '("tool.rkt"))