Unnamed repository; edit this file 'description' to name the repository.
Fix spelling of diagnostics (#6418)
Juan C. Müller 2023-03-24
parent e399bbc · commit 6acd200
-rw-r--r--book/src/configuration.md2
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