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_def/src/body | |
parent | 5e1500ec7493f2e82020eefd17a9f384a8a42f4b (diff) |
docs: suggest disabling the official extension
Diffstat (limited to 'crates/hir_def/src/body')
0 files changed, 0 insertions, 0 deletions