diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2024-02-10 11:40:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-10 11:40:38 +0100 |
| commit | 61d7367a954b504e94ebc1ca30c2b5fae72b7398 (patch) | |
| tree | 32d6716975be2cfad8e208be5404f37c3c79db55 | |
| parent | 03e9d81374897942ea4291678027e3c4d61d0e16 (diff) | |
Update README.md
| -rw-r--r-- | README.md | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -49,11 +49,11 @@ Example of `ols.json`: "enable_document_symbols": true, "enable_hover": true, "enable_snippets": true, - "profile": "default", - "profiles": [ + "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"]} + { "name": "linux_profile", "os": "linux", "checker_path": ["src/main.odin"]}, + { "name": "windows_profile", "os": "windows", "checker_path": ["src"]} ] } ``` |