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