Archives
/
bat
mirror of https://github.com/sharkdp/bat
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Bump assets/syntaxes/02_Extra/Lean from `49d1853` to `824213d`

Browse Source 
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](49d185361a...824213de37)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
pull/1568/head
dependabot-preview[bot] 3 years ago committed by David Peter
parent d1f0181947
commit 8885285b10
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File

2
assets/syntaxes/02_Extra/Lean vendored

@ -1 +1 @@
Subproject commit 49d185361a9943f440d8efe389259a3374ade905
Subproject commit 824213de37245140d75cdcffb3fbd6f61f73a97c
Write Preview
Loading…
Cancel
Save