Skip to content

Fix ninja build, and use it#325

Merged
rusty1s merged 1 commit intorusty1s:masterfrom ezyang:fix-ninjaMay 10, 2023

Commits

Commits on May 9, 2023