Bump assets/syntaxes/02_Extra/Lean from `824213d` to `29a03a8`
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>
commit09711cd6f9d1d163bddd068cb29b0a0ef49ff8c7
authordependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
dateWed 12 May 2021, 09:27 (5 years ago)
parentb16cacc
assets/syntaxes/02_Extra/Lean+1−1
Submodule changed.