diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-09 12:26:59 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-01-09 12:26:59 +0000 |
commit | 3263c7076613bf8c3c32bb2bd5be29f10eb0284c (patch) | |
tree | 3fa270a113de26dedcdc1be826a3dd262eceaefc /editors | |
parent | 0d6e5a986cc7c3a434c2107edf748d1c26ac3f69 (diff) | |
parent | 6fc80efe7738af3b0d51e66591ea5451f45f6706 (diff) |
Merge #2772
2772: Actually test references r=kjeremy a=kjeremy
This will be a little more work when `ReferenceSearchResults` change but I think it's easier to maintain in the end. It also follows a similar pattern to navigation targets and call hierarchy.
Co-authored-by: kjeremy <[email protected]>
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions