Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'languages.toml')
| -rw-r--r-- | languages.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/languages.toml b/languages.toml index 19133a86..34035907 100644 --- a/languages.toml +++ b/languages.toml @@ -3806,7 +3806,7 @@ language-servers = ["koka"] [[grammar]] name = "koka" -source = { git = "https://github.com/mtoohey31/tree-sitter-koka", rev = "96d070c3700692858035f3524cc0ad944cef2594" } +source = { git = "https://github.com/koka-community/tree-sitter-koka", rev = "fd3b482274d6988349ba810ea5740e29153b1baf" } [[language]] name = "tact" |