dependabot[bot] 09711cd6f9 Bump assets/syntaxes/02_Extra/Lean from 824213d to 29a03a8 ... Bumps [assets/syntaxes/02_Extra/Lean](https://github.com/leanprover/vscode-lean) from `824213d` to `29a03a8`. - [Release notes](https://github.com/leanprover/vscode-lean/releases) - [Commits](824213de37...29a03a8aba) Signed-off-by: dependabot[bot] <support@github.com>		2021-05-12 09:27:14 +00:00
..
01_Packages@759d6eed9b	Move syntaxes, fixes #874	2020-03-21 23:53:53 +01:00
02_Extra	Bump assets/syntaxes/02_Extra/Lean from 824213d to 29a03a8	2021-05-12 09:27:14 +00:00