Skip to content

Set ninja=true by default#74922

Merged
bors merged 6 commits intorust-lang:masterfrom
joshtriplett:ninja-by-default
Aug 29, 2020
Merged

Set ninja=true by default#74922
bors merged 6 commits intorust-lang:masterfrom
joshtriplett:ninja-by-default

Commits

Commits on Aug 26, 2020

Commits on Aug 27, 2020

Commits on Aug 28, 2020