Skip to content

Rewrite error index generator to greatly reduce the size of the pages#100922

Merged
bors merged 3 commits intorust-lang:masterfrom
GuillaumeGomez:rewrite-error-index
Aug 24, 2022