diff options
| author | kjeremy <[email protected]> | 2020-12-01 13:33:21 +0000 |
|---|---|---|
| committer | kjeremy <[email protected]> | 2020-12-01 13:33:21 +0000 |
| commit | e4ffd70c915046e8286a25d66a530fae7e351912 (patch) | |
| tree | 6e46f0bad9a4f36a6301049dfcc5c1ca400e94ff /editors | |
| parent | a18392bd903dd764c6c5f5efee0b3d789ee12e52 (diff) | |
Fix OptionalVersionedTextDocumentIdentifier type
Fixes #6654
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions