aboutsummaryrefslogtreecommitdiff
path: root/helix-syntax/languages/tree-sitter-lean
diff options
context:
space:
mode:
Diffstat (limited to 'helix-syntax/languages/tree-sitter-lean')
m---------helix-syntax/languages/tree-sitter-lean0
1 files changed, 0 insertions, 0 deletions
diff --git a/helix-syntax/languages/tree-sitter-lean b/helix-syntax/languages/tree-sitter-lean
deleted file mode 160000
-Subproject d98426109258b266e1e92358c5f11716d2e8f63