mirror of
https://github.com/sharkdp/bat.git
synced 2025-09-01 10:52:24 +01:00
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](7e99440b33...49d185361a
)
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
This commit is contained in:
committed by
David Peter
parent
4aec022065
commit
6527126e50
2
assets/syntaxes/02_Extra/Lean
vendored
2
assets/syntaxes/02_Extra/Lean
vendored
Submodule assets/syntaxes/02_Extra/Lean updated: 7e99440b33...49d185361a
Reference in New Issue
Block a user