From 9d9b6c2ec9b9a5a238467744626c5692506ec6cc Mon Sep 17 00:00:00 2001 From: Matt Hamilton Date: Wed, 8 Mar 2017 06:16:56 -0800 Subject: [PATCH] [prompt] lean: update submodule --- modules/prompt/external-themes/lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/prompt/external-themes/lean b/modules/prompt/external-themes/lean index b2e1d7b..4e33a1f 160000 --- a/modules/prompt/external-themes/lean +++ b/modules/prompt/external-themes/lean @@ -1 +1 @@ -Subproject commit b2e1d7b24d7786bc079a0979b1507ab9baa5cb87 +Subproject commit 4e33a1f6f7d5b145056a32e78ae74796d6aaf966