Replace all "mzscheme"s with "racket"s, "mred"s with "gracket"s.
Also, forbid using "mred" in drdr:command-line.
This commit is contained in:
parent
a66032be81
commit
03fdd4aa15
1225
collects/meta/props
1225
collects/meta/props
File diff suppressed because it is too large
Load Diff
Loading…
Reference in New Issue
Block a user