diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2024-02-10 11:40:02 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-10 11:40:02 +0100 |
| commit | 03e9d81374897942ea4291678027e3c4d61d0e16 (patch) | |
| tree | b72b04af02a787cb2bdfb1889a43e01b0f4a11b6 /README.md | |
| parent | 3eb1e0e60a66a4fc7347fb77837ff45ccbe1cabb (diff) | |
Update README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -49,8 +49,9 @@ Example of `ols.json`: "enable_document_symbols": true, "enable_hover": true, "enable_snippets": true, - "profile": "windows_profile", + "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"]} ] |