diff options
author | dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com> | 2021-03-01 03:53:56 +0000 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2021-03-01 08:23:34 +0100 |
commit | 8885285b101b98ce811195982a6e40a16b343f5b (patch) | |
tree | f525f460f883d41d5b0b660b272bd5cb3cfc3faa | |
parent | d1f0181947beca3cf1060a8150fa8369ea196bcb (diff) |
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>
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 49d185361a9943f440d8efe389259a3374ade90 +Subproject 824213de37245140d75cdcffb3fbd6f61f73a97 |