lean prompt submodule added

7 years ago · c701496a17
parent 58a0fa6c31
commit c701496a17
3 changed files with 5 additions and 0 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -28,3 +28,6 @@
 [submodule "modules/prompt/external/powerlevel9k"]
 	path = modules/prompt/external/powerlevel9k
 	url = https://github.com/bhilburn/powerlevel9k.git
+[submodule "modules/prompt/external/lean"]
+	path = modules/prompt/external/lean
+	url = https://github.com/miekg/lean.git
--- a/modules/prompt/external/lean
+++ b/modules/prompt/external/lean
@ -0,0 +1 @@
+Subproject commit 57cca1a9deb7d738d421434f5f12a63b6ae15194
--- a/modules/prompt/functions/prompt_lean_setup
+++ b/modules/prompt/functions/prompt_lean_setup
@ -0,0 +1 @@
+../external/lean/prompt_lean_setup
				`@ -0,0 +1 @@`
				`Subproject commit 57cca1a9deb7d738d421434f5f12a63b6ae15194`