Move racket preserves-tool out of the way (in favour of the rust one)

This commit is contained in:
Tony Garnock-Jones 2021-08-10 08:40:11 -04:00
parent a0bf6ebf41
commit 32ebebec34
1 changed files with 1 additions and 1 deletions

View File

@ -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"))