diff options
author | dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com> | 2021-02-01 03:41:39 +0000 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2021-02-07 22:33:40 +0100 |
commit | 6527126e507fdb4770ec839efab8982d92cdb133 (patch) | |
tree | 7b0e3e8436f1595151dfc165f87d5249f62417ca | |
parent | 4aec022065e5d8a6bb3a28a4fde57e7bd47b4bdc (diff) |
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>
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 7e99440b33c834b11deda67144a6a7ce5a666f0 +Subproject 49d185361a9943f440d8efe389259a3374ade90 |