Skip to content

[rustdoc-json] Partially remove paths and introduce external_index#103085

Closed
Urgau wants to merge 1 commit into
rust-lang:masterfrom
Urgau:rustdoc-json-partialy-remove-paths
Closed

[rustdoc-json] Partially remove paths and introduce external_index#103085
Urgau wants to merge 1 commit into
rust-lang:masterfrom
Urgau:rustdoc-json-partialy-remove-paths

[rustdoc-json] Partially remove `paths` and introduce `external_index`

5c9982d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs