diff options
Diffstat (limited to 'misc/ols.schema.json')
| -rw-r--r-- | misc/ols.schema.json | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/misc/ols.schema.json b/misc/ols.schema.json index cc5941f..e038145 100644 --- a/misc/ols.schema.json +++ b/misc/ols.schema.json @@ -103,6 +103,13 @@ "items": { "type": "string" } + }, + "workspace_exclude_path": { + "type": "array", + "description": "List of paths that will be exldued from workspace symbol searches.", + "items": { + "type": "string" + } } }, "required": ["name", "checker_path"], |