diff options
| author | Juan C. Müller | 2023-03-24 02:26:41 +0000 |
|---|---|---|
| committer | GitHub | 2023-03-24 02:26:41 +0000 |
| commit | 6acd2000284095ac6ec06aaa5c34d843a833800a (patch) | |
| tree | b89528a6eb29e2dc5f9a8a2315d271734799ffe3 | |
| parent | e399bbc379fd40a7310f12173727f7b0fe1217b5 (diff) | |
Fix spelling of diagnostics (#6418)
| -rw-r--r-- | book/src/configuration.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/book/src/configuration.md b/book/src/configuration.md index bf314993..e2dfc89e 100644 --- a/book/src/configuration.md +++ b/book/src/configuration.md @@ -305,7 +305,7 @@ Example: min-width = 1 ``` -#### `[editor.gutters.diagnotics]` Section +#### `[editor.gutters.diagnostics]` Section Currently unused |