From 60968c428d9c02503a0457a237e3e7099774d769 Mon Sep 17 00:00:00 2001 From: Matt Hamilton Date: Sun, 30 Apr 2017 09:02:58 -0700 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 4e33a1f..2f7eaf6 160000 --- a/modules/prompt/external-themes/lean +++ b/modules/prompt/external-themes/lean @@ -1 +1 @@ -Subproject commit 4e33a1f6f7d5b145056a32e78ae74796d6aaf966 +Subproject commit 2f7eaf6eecaf63e82d647f8743b31b493da4896c