diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-06-28 13:07:46 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-07-02 15:44:22 +0200 |
| commit | 69d5fc1a9f89c80dd9e16a43dff58f320b373630 (patch) | |
| tree | 580b3e1692c7f81ce9cf6667585c0601e96a188c | |
| parent | 228a0ed7b0cef2fbfeb781acf6c23015ccc40ba2 (diff) | |
| download | rust-69d5fc1a9f89c80dd9e16a43dff58f320b373630.tar.gz rust-69d5fc1a9f89c80dd9e16a43dff58f320b373630.zip | |
Clean up E0710 explanation
| -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: |