From 1073feb097342cbe144e9daf41640295f8fd049c Mon Sep 17 00:00:00 2001 From: Matt Hamilton Date: Thu, 5 Jan 2017 22:33:37 -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 3247b1d..81d5640 160000 --- a/modules/prompt/external-themes/lean +++ b/modules/prompt/external-themes/lean @@ -1 +1 @@ -Subproject commit 3247b1d503056b640d674fe75af524259be142c9 +Subproject commit 81d5640ca351b245fab7e22fbbbea0a106012464