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 /editors/code/src/config.ts | |
| 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 'editors/code/src/config.ts')
0 files changed, 0 insertions, 0 deletions