upstream updated

helix-editor · Sep 19, 2023 · da08d2b · da08d2b
1 parent dba360d
commit da08d2b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/languages.toml b/languages.toml
@@ -2831,4 +2831,4 @@ indent = { tab-width = 2, unit = "  " }
 
 [[grammar]]
 name = "agda"
-source = { git = "https://github.com/tree-sitter/tree-sitter-agda", rev = "7aff1ccb0bb60c0884839ba37076441b2fbcbde2" }
+source = { git = "https://github.com/tree-sitter/tree-sitter-agda", rev = "c21c3a0f996363ed17b8ac99d827fe5a4821f217" }