diff options
| author | Blaž Hrastnik | 2022-02-13 09:31:51 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-02-13 09:31:51 +0000 |
| commit | bd549d8a20cce98e24c8653a4a86107c786cbaa3 (patch) | |
| tree | 0780b58d41b6181e69023265cdb54517e2953778 /helix-syntax/languages/tree-sitter-lean | |
| parent | 7ad8eaaef0b292f4be6c66298cea40d2b928e172 (diff) | |
| parent | 7083b98a388b30e0b61caac9bf6ccc1d79eadf81 (diff) | |
Merge remote-tracking branch 'origin/master' into debug
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 |