diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-15 23:18:49 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-07-15 23:18:49 +0100 |
commit | 6824cf4f8a94dc9d0bd049efcf99e18651c71831 (patch) | |
tree | fdfd041a4ca22cd0295e1ed50f448ce68fd66703 /crates/ra_syntax/src/ptr.rs | |
parent | b63e23e98e7dfbe57de93ebe256254825512e148 (diff) | |
parent | 7fba2274d9cfbcbc6eeb187b37e8484dbc0ba72d (diff) |
Merge #5402
5402: Update lsp-types for HoverOptions r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/ra_syntax/src/ptr.rs')
0 files changed, 0 insertions, 0 deletions