Skip to content

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

Merged
sunfishcode merged 5 commits into
mainfrom
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 into
mainfrom
sunfishcode/extern-rust-take2

Document `origin_main`.

16bcfaf
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs