From 6527126e507fdb4770ec839efab8982d92cdb133 Mon Sep 17 00:00:00 2001 From: "dependabot-preview[bot]" <27856297+dependabot-preview[bot]@users.noreply.github.com> Date: Mon, 1 Feb 2021 03:41:39 +0000 Subject: [PATCH] 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] --- assets/syntaxes/02_Extra/Lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/assets/syntaxes/02_Extra/Lean b/assets/syntaxes/02_Extra/Lean index 7e99440b..49d18536 160000 --- a/assets/syntaxes/02_Extra/Lean +++ b/assets/syntaxes/02_Extra/Lean @@ -1 +1 @@ -Subproject commit 7e99440b33c834b11deda67144a6a7ce5a666f0e +Subproject commit 49d185361a9943f440d8efe389259a3374ade905