[prompt] lean: Update submodule

Fixes #209
2017-10-02 11:59:27 -05:00 · 2017-10-02 11:59:27 -05:00 · 23b8265f87
parent 8ba9621f48
commit 23b8265f87
1 changed files with 1 additions and 1 deletions
--- a/modules/prompt/external-themes/lean
+++ b/modules/prompt/external-themes/lean
@ -1 +1 @@
-Subproject commit cdb5c44433187d1afeff9d0748d83a813b8e739c
+Subproject commit 3cf61b240d0bb0e3d1c517d2324534ddbf3614e8