diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2020-07-16 11:18:33 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-16 11:18:33 -0700 |
| commit | cc38f6fbf710c38218f636db854370f3d5fa78a6 (patch) | |
| tree | 395602af184c47b49d15b7b8849b95e03936a45d /src/librustc_error_codes/error_codes | |
| parent | b7008351186ff64a76ddc22dd14f67898f54bb35 (diff) | |
| parent | 69d5fc1a9f89c80dd9e16a43dff58f320b373630 (diff) | |
| download | rust-cc38f6fbf710c38218f636db854370f3d5fa78a6.tar.gz rust-cc38f6fbf710c38218f636db854370f3d5fa78a6.zip | |
Rollup merge of #73835 - GuillaumeGomez:cleanup-e0710, r=Dylan-DPC
Clean up E0710 explanation r? @Dylan-DPC
Diffstat (limited to 'src/librustc_error_codes/error_codes')
| -rw-r--r-- | src/librustc_error_codes/error_codes/E0710.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc_error_codes/error_codes/E0710.md b/src/librustc_error_codes/error_codes/E0710.md index d9cefe2a6da..b7037ea611b 100644 --- a/src/librustc_error_codes/error_codes/E0710.md +++ b/src/librustc_error_codes/error_codes/E0710.md @@ -1,4 +1,4 @@ -An unknown tool name found in scoped lint +An unknown tool name was found in a scoped lint. Erroneous code examples: |