Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix a typo in
docs/editors/settings.md
(#12614)
Diff: ```diff -- `false: Same as`off\` +- `false`: Same as `off` ```
- Loading branch information