Commit 9ab2227
authored
Rollup merge of rust-lang#46700 - GuillaumeGomez:more-relevant-doc-search, r=QuietMisdreavus
make doc search more relevant
Fixes rust-lang#46595.
r? @QuietMisdreavus
If possible, I'd appreciate a strong check on this PR. :31 file changed
Lines changed: 11 additions & 12 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
681 | 681 | | |
682 | 682 | | |
683 | 683 | | |
| 684 | + | |
| 685 | + | |
| 686 | + | |
684 | 687 | | |
685 | 688 | | |
686 | 689 | | |
| |||
706 | 709 | | |
707 | 710 | | |
708 | 711 | | |
709 | | - | |
710 | | - | |
711 | | - | |
712 | | - | |
713 | | - | |
714 | | - | |
715 | | - | |
716 | | - | |
717 | | - | |
718 | | - | |
719 | | - | |
720 | | - | |
| 712 | + | |
721 | 713 | | |
722 | 714 | | |
723 | 715 | | |
| |||
934 | 926 | | |
935 | 927 | | |
936 | 928 | | |
| 929 | + | |
| 930 | + | |
| 931 | + | |
| 932 | + | |
| 933 | + | |
| 934 | + | |
| 935 | + | |
937 | 936 | | |
938 | 937 | | |
939 | 938 | | |
| |||
0 commit comments