diff options
Diffstat (limited to 'helix-syntax/languages/tree-sitter-lean')
| m--------- | helix-syntax/languages/tree-sitter-lean | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/helix-syntax/languages/tree-sitter-lean b/helix-syntax/languages/tree-sitter-lean new file mode 160000 +Subproject d98426109258b266e1e92358c5f11716d2e8f63 |