From 037a66c57b70174cf9f98fe6f6a99bb4df817261 Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Mon, 28 Dec 2020 10:08:16 -0500
Subject: [PATCH] Add the Lean submodule.

---
 .gitmodules                   | 3 +++
 assets/syntaxes/02_Extra/Lean | 1 +
 2 files changed, 4 insertions(+)
 create mode 160000 assets/syntaxes/02_Extra/Lean

diff --git a/.gitmodules b/.gitmodules
index 09ccaed3..e5122a00 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -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
diff --git a/assets/syntaxes/02_Extra/Lean b/assets/syntaxes/02_Extra/Lean
new file mode 160000
index 00000000..7e99440b
--- /dev/null
+++ b/assets/syntaxes/02_Extra/Lean
@@ -0,0 +1 @@
+Subproject commit 7e99440b33c834b11deda67144a6a7ce5a666f0e