Skip to content

Allow to pass arguments to rustdoc-gui tool#86297

Merged
bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:rustdoc-gui-argsJun 22, 2021

Commits

Commits on Jun 16, 2021