diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-12 11:02:42 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-12 11:02:42 +0000 |
| commit | e9e397e705ad0bec9775067b10109e35ebefc493 (patch) | |
| tree | 8bdb1d6036d381e34d0d70880da1edbec0df5542 /.gitignore | |
| parent | cca39ebc24d3dfcfcbb2565843ee9f70891cb139 (diff) | |
| parent | f42f70b1d51f25398f840a924dd3d689a2cd573b (diff) | |
Merge #501
501: Switch hover to use MarkupContent r=matklad a=kjeremy
MarkedString is deprecated
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions