diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-08 12:51:14 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-08 12:51:14 +0100 |
| commit | a69f19a6a5899bdfb6fc498371650bf54263deff (patch) | |
| tree | 0c99c2a67fa04f1b7c14f732b2f0889a7445541c /editors/code | |
| parent | 7a02cc8845ba4e9e3ec414283c60333143831733 (diff) | |
| parent | c04b2e39dacfea5c6ba158d842fb3b7f3e0db12b (diff) | |
Merge #5686
5686: Fix typo in settings description r=kjeremy a=rherrmann
Remove a duplicate word from the description of the `warningsAsHint` setting.
Co-authored-by: Rüdiger Herrmann <[email protected]>
Diffstat (limited to 'editors/code')
| -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 | } |