Skip to content

Change main from extern "C" to "Rust", and rename to origin_main#39

Merged
sunfishcode merged 5 commits intomainfrom
sunfishcode/extern-rust-take2
Sep 10, 2023
Merged

Change `main` from extern "C" to "Rust", and rename to `origin_main`#39
sunfishcode merged 5 commits intomainfrom
sunfishcode/extern-rust-take2

Commits

Commits on Sep 10, 2023