diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-31 12:13:48 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-31 12:13:48 +0100 |
| commit | 6c1ec865fb931ffd789e2caa9e2ce82d1df97c4d (patch) | |
| tree | b33fea67d1076aef89a4e88bd53d871024b3c233 /docs/user | |
| parent | 29c7cdb25edb0ad5480c108a64a117cf9c318c34 (diff) | |
| parent | be15541b031c036ce1b5f0d7f31c32dd398ba5c7 (diff) | |
Merge #1354
1354: Sort hover results in tests r=matklad a=lnicola
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions