diff options
| author | Rüdiger Herrmann <[email protected]> | 2020-08-08 10:57:54 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-08 10:57:54 +0100 |
| commit | c04b2e39dacfea5c6ba158d842fb3b7f3e0db12b (patch) | |
| tree | 0c99c2a67fa04f1b7c14f732b2f0889a7445541c /editors/code/.gitignore | |
| parent | 7a02cc8845ba4e9e3ec414283c60333143831733 (diff) | |
Fix typo in settings description
Remove a duplicate word from the description of the `warningsAsHint` setting.
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions