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 /docs | |
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 'docs')
0 files changed, 0 insertions, 0 deletions