diff options
| author | Jonas Schievink <[email protected]> | 2020-09-18 17:25:41 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2020-09-18 17:26:58 +0100 |
| commit | 888cb378b92a8b97bebb127f824045e21bf41812 (patch) | |
| tree | 32e01744086ac7901f5a6a86dbabc044499c5ba3 /crates/hir_ty/src/traits/chalk.rs | |
| parent | 5e1500ec7493f2e82020eefd17a9f384a8a42f4b (diff) | |
docs: suggest disabling the official extension
Diffstat (limited to 'crates/hir_ty/src/traits/chalk.rs')
0 files changed, 0 insertions, 0 deletions