Amos Wenger 74a2fad5e6 Gate and rename binary, use it if it's in the sysroot

2022-07-25 16:22:39 +02:00

..

main.rs

Gate and rename binary, use it if it's in the sysroot

2022-07-25 16:22:39 +02:00