Robot
/
bat
mirror of https://github.com/sharkdp/bat.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add the Lean submodule.

This commit is contained in:
Julian Berman 2020-12-28 10:08:16 -05:00 committed by David Peter
parent 1a04dcf10f
commit 037a66c57b
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.gitmodules vendored
View File

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

1
assets/syntaxes/02_Extra/Lean vendored Submodule

@ -0,0 +1 @@
Subproject commit 7e99440b33c834b11deda67144a6a7ce5a666f0e