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
Merged

Rewrite error index generator to greatly reduce the size of the pages#100922
bors merged 3 commits intorust-lang:masterfrom
GuillaumeGomez:rewrite-error-index

Commits