mirror of
https://github.com/rust-lang/rust.git
synced 2026-02-16 08:24:51 +00:00
a7e486a76e
Add extra indent spaces for rust-playground link Fixes #120998 Seems add `rustfmt` for this is somehow too heavy, only adding indent spaces at the starting of each line of code seems good enough.