Add main.odin to Odin roots (#9968)

pull/10049/head
Chris 8 months ago committed by GitHub
parent 787a237f8b
commit 64c1de1988
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -2038,7 +2038,7 @@ name = "odin"
auto-format = true auto-format = true
scope = "source.odin" scope = "source.odin"
file-types = ["odin"] file-types = ["odin"]
roots = ["ols.json"] roots = ["ols.json", "main.odin"]
language-servers = [ "ols" ] language-servers = [ "ols" ]
comment-token = "//" comment-token = "//"
block-comment-tokens = { start = "/*", end = "*/" } block-comment-tokens = { start = "/*", end = "*/" }

Loading…
Cancel
Save