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 | |
| parent | 7a02cc8845ba4e9e3ec414283c60333143831733 (diff) | |
Fix typo in settings description
Remove a duplicate word from the description of the `warningsAsHint` setting.
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/code/package.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/package.json b/editors/code/package.json index 1adf055d0..ee5f96bf3 100644 --- a/editors/code/package.json +++ b/editors/code/package.json | |||
| @@ -607,7 +607,7 @@ | |||
| 607 | "items": { | 607 | "items": { |
| 608 | "type": "string" | 608 | "type": "string" |
| 609 | }, | 609 | }, |
| 610 | "description": "List of warnings warnings that should be displayed with hint severity.\nThe warnings will be indicated by faded text or three dots in code and will not show up in the problems panel.", | 610 | "description": "List of warnings that should be displayed with hint severity.\nThe warnings will be indicated by faded text or three dots in code and will not show up in the problems panel.", |
| 611 | "default": [] | 611 | "default": [] |
| 612 | } | 612 | } |
| 613 | } | 613 | } |