diff options
author | dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> | 2021-05-12 09:27:14 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-12 09:27:14 +0000 |
commit | 09711cd6f9d1d163bddd068cb29b0a0ef49ff8c7 (patch) | |
tree | bbab301e9dc20422edd039e86ca94a68f45553c4 | |
parent | b16cacc758fb60777072ff8f9b9ae8ba97e4f5ae (diff) |
Bumps [assets/syntaxes/02_Extra/Lean](https://github.com/leanprover/vscode-lean) from `824213d` to `29a03a8`.
- [Release notes](https://github.com/leanprover/vscode-lean/releases)
- [Commits](https://github.com/leanprover/vscode-lean/compare/824213de37245140d75cdcffb3fbd6f61f73a97c...29a03a8abaa884bde65b3c3dd1e46e87bb0fbfc4)
Signed-off-by: dependabot[bot] <support@github.com>
m--------- | assets/syntaxes/02_Extra/Lean | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/assets/syntaxes/02_Extra/Lean b/assets/syntaxes/02_Extra/Lean -Subproject 824213de37245140d75cdcffb3fbd6f61f73a97 +Subproject 29a03a8abaa884bde65b3c3dd1e46e87bb0fbfc |