Bump assets/syntaxes/02_Extra/Lean from `49d1853` to `824213d`
Bumps [assets/syntaxes/02_Extra/Lean](https://github.com/leanprover/vscode-lean) from `49d1853` to `824213d`.
- [Release notes](https://github.com/leanprover/vscode-lean/releases)
- [Commits](https://github.com/leanprover/vscode-lean/compare/49d185361a9943f440d8efe389259a3374ade905...824213de37245140d75cdcffb3fbd6f61f73a97c)
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
commit8885285b101b98ce811195982a6e40a16b343f5b
authordependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com>
dateMon 1 Mar 2021, 03:53 (6 years ago)
parentd1f0181
assets/syntaxes/02_Extra/Lean+1−1
Submodule changed.