Skip to content

[bootstrap] Make --open option work with doc src/tools/error_index_generator#148644

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:error-index-index-open
Nov 9, 2025
Merged

[bootstrap] Make `--open` option work with `doc src/tools/error_index_generator`#148644
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:error-index-index-open

Commits