Add the Lean submodule.
commit037a66c57b70174cf9f98fe6f6a99bb4df817261
authorJulian Berman <Julian@GrayVines.com>
dateMon 28 Dec 2020, 10:08 (6 years ago)
parent1a04dcf
.gitmodules+3
@@ -207,3 +207,6 @@
207207 path = assets/themes/gruvbox
208208 url = https://github.com/subnut/gruvbox-tmTheme.git
209209 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
assets/syntaxes/02_Extra/Leannew file+1
Submodule changed.