@@ -207,3 +207,6 @@
207 path = assets/themes/gruvbox
207 path = assets/themes/gruvbox
208 url = https://github.com/subnut/gruvbox-tmTheme.git
208 url = https://github.com/subnut/gruvbox-tmTheme.git
209 branch = bat-source
209 branch = bat-source
210+[submodule "assets/syntaxes/02_Extra/Lean"]
211+ path = assets/syntaxes/02_Extra/Lean
212+ url = https://github.com/leanprover/vscode-lean.git