ojs.json
This commit is contained in:
parent
c2b5cb96f8
commit
4a03da2fc8
13
ols.json
Normal file
13
ols.json
Normal file
@ -0,0 +1,13 @@
|
||||
{
|
||||
"$schema": "https://raw.githubusercontent.com/DanielGavin/ols/master/misc/ols.schema.json",
|
||||
"enable_semantic_tokens": false,
|
||||
"enable_document_symbols": true,
|
||||
"enable_hover": true,
|
||||
"enable_snippets": true,
|
||||
"profile": "default",
|
||||
"profiles": [
|
||||
{ "name": "default", "checker_path": ["src"]},
|
||||
{ "name": "linux_profile", "os": "linux", "checker_path": ["src/main.odin"]},
|
||||
{ "name": "windows_profile", "os": "windows", "checker_path": ["src"]}
|
||||
]
|
||||
}
|
Loading…
x
Reference in New Issue
Block a user