on 219d2c2 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)