on 7dddbca help sign in
4 files
../ folds.scmfeat(languages): Lean experimental tree-sitter-lean (#1422) highlights.scmFix some typos (#2978) injections.scmfeat(languages): Lean experimental tree-sitter-lean (#1422) locals.scmfeat(languages): Lean experimental tree-sitter-lean (#1422)