mirror of
https://github.com/rust-lang/rust.git
synced 2026-01-20 05:30:37 +00:00
get rid of duplicate primitive_docs Having this duplicate makes editing that file very annoying. And at least locally the generated docs still look perfectly fine...