Nick Fitzgerald 6af8d2a292 Rename the isle crate to cranelift-isle ...

The `isle` crate name is already taken on crates.io :(

2021-12-07 14:56:26 -08:00

..

main.rs

Rename the isle crate to cranelift-isle

2021-12-07 14:56:26 -08:00