Skip to content

rename to ninja-build_rs as ninja-build is already taken#30

Merged
MusicalNinjaDad merged 1 commit into
mainfrom
rename_crate
May 2, 2026
Merged

rename to ninja-build_rs as ninja-build is already taken#30
MusicalNinjaDad merged 1 commit into
mainfrom
rename_crate

Commits

Commits on May 2, 2026