[prompt] Add lean prompt: github.com/miekg/lean

Closes #71
This commit is contained in:
Fernando Barillas 2016-08-06 14:16:31 -07:00 committed by Matt Hamilton
parent bb81ab09b9
commit 1b44eb6404
3 changed files with 5 additions and 0 deletions

3
.gitmodules vendored
View File

@ -13,3 +13,6 @@
[submodule "modules/prompt/external-themes/liquidprompt"]
path = modules/prompt/external-themes/liquidprompt
url = https://github.com/nojhan/liquidprompt.git
[submodule "modules/prompt/external-themes/lean"]
path = modules/prompt/external-themes/lean
url = https://github.com/miekg/lean

@ -0,0 +1 @@
Subproject commit 0ccf0c34ac23fe86a69f78a960d5b340b0f4c880

View File

@ -0,0 +1 @@
../external-themes/lean/prompt_lean_setup