Skip to content

Remove some badges documentation.#8727

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:badges
Sep 23, 2020
Merged

Remove some badges documentation.#8727
bors merged 1 commit intorust-lang:masterfrom
ehuss:badges

Commits

Commits on Sep 23, 2020