From ec4d519dcc63257433acf4e926f788e6f11caf84 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Thu, 15 Nov 2018 15:26:23 -0500
Subject: [emacs] update 4 drones

Update lib/helm       to v3.0-41-g681eafbe
Update lib/magit      to v2.90.0-15-g8b32aa03
Update lib/proof-site to v4.4-211-g05df29f7
Update lib/which-key  to v3.3.0-4-g43e3e3d
---
 lib/proof-site | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/proof-site')

diff --git a/lib/proof-site b/lib/proof-site
index 15cf5a3..05df29f 160000
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit 15cf5a3f1e3ba35d832e1464a1b729905aed78a8
+Subproject commit 05df29f7ff065d8da45b81691c602b6cf075e4a0
-- 
cgit v1.2.3-60-g2f50