diff options
| author | Blaž Hrastnik | 2020-10-01 09:45:14 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2020-10-01 09:45:14 +0000 |
| commit | 956ccc7b5ccd0287ebae50ff5ce5309fb1d1c5dc (patch) | |
| tree | 4c3bedd6dd772d0d012cc449007d1cb069ac523d /helix-syntax/languages/tree-sitter-agda | |
| parent | 77d75d92752835e2953b4a70f7ee8a9aeaff9fa0 (diff) | |
Update grammar repos.
Diffstat (limited to 'helix-syntax/languages/tree-sitter-agda')
| m--------- | helix-syntax/languages/tree-sitter-agda | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/helix-syntax/languages/tree-sitter-agda b/helix-syntax/languages/tree-sitter-agda -Subproject 7fcba5a1b9f83f52a3812e8cdaf16cb60b069af +Subproject ca69cdf485e9ce2b2ef0991a720aa88d87d3023 |