mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-15 12:39:31 +03:00
0a66c87bd4
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...