[rustdoc-json] Partially remove paths
and introduce external_index
#103085
Closed
Urgau wants to merge 1 commit intorust-lang:masterfrom
Closed
[rustdoc-json] Partially remove `paths` and introduce `external_index`#103085Urgau wants to merge 1 commit intorust-lang:masterfrom
Urgau wants to merge 1 commit intorust-lang:masterfrom