From 25d97ccac9515177fd2b971199404c80dca11856 Mon Sep 17 00:00:00 2001 From: Eric Nielsen Date: Sat, 19 Aug 2017 14:00:48 -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 2460262..9e1b490 160000 --- a/modules/prompt/external-themes/lean +++ b/modules/prompt/external-themes/lean @@ -1 +1 @@ -Subproject commit 2460262252df11bead7789b12674da421e65ea1a +Subproject commit 9e1b4901d17f2f0bb2fb90408a366a92ee798899