From 23b8265f87bbfd5accc48c153638b6845cbd4f88 Mon Sep 17 00:00:00 2001 From: Eric Nielsen Date: Mon, 2 Oct 2017 11:59:27 -0500 Subject: [PATCH] [prompt] lean: Update submodule Fixes #209 --- 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 cdb5c44..3cf61b2 160000 --- a/modules/prompt/external-themes/lean +++ b/modules/prompt/external-themes/lean @@ -1 +1 @@ -Subproject commit cdb5c44433187d1afeff9d0748d83a813b8e739c +Subproject commit 3cf61b240d0bb0e3d1c517d2324534ddbf3614e8