From 7479e22b176885bcb6e2ca58bd4f07e261519711 Mon Sep 17 00:00:00 2001 From: Eric Nielsen Date: Mon, 11 Sep 2017 09:44:49 -0500 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 9e1b490..cdb5c44 160000 --- a/modules/prompt/external-themes/lean +++ b/modules/prompt/external-themes/lean @@ -1 +1 @@ -Subproject commit 9e1b4901d17f2f0bb2fb90408a366a92ee798899 +Subproject commit cdb5c44433187d1afeff9d0748d83a813b8e739c