on 9d73a0d 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)