diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-27 14:49:37 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-10-27 14:49:37 +0000 |
| commit | 53c7aead8fbd50156a0082f4f35b9cba961a65ca (patch) | |
| tree | 554da4814bb18d647810b0e8e7c031d80e91c480 /editors/code/src/commands.ts | |
| parent | 3f20d344cd05062fe110c56b9f829bbc491a474e (diff) | |
| parent | 269e67312d30e8e5a5c38cec3f12c52ba0d6d9b6 (diff) | |
Merge #6379
6379: Highlight never type as BuiltinType r=matklad a=Veykril
Fixes #6374
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'editors/code/src/commands.ts')
0 files changed, 0 insertions, 0 deletions