diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-05 14:05:35 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-05 14:05:35 +0100 |
| commit | 8a18f23df068dd8e3cfaea15391610dbda418aab (patch) | |
| tree | b2520aac7015ecc4062720ce88be5c19f16a0177 /editors/code/src/commands.ts | |
| parent | c2be91dcd826e1529ac6ac431b3f871ec72abebc (diff) | |
| parent | 72c54c53cdc543eab40fc5d4593e6a7f57c94755 (diff) | |
Merge #8342
8342: Rename `TyKind::Unknown` and `TyKind::ForeignType` (Chalk move) r=flodiebold a=lnicola
CC #8313
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors/code/src/commands.ts')
0 files changed, 0 insertions, 0 deletions