From d7d782e1924967e4111952a874e436b9c2ae1049 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Wed, 19 Dec 2018 23:46:54 -0500
Subject: [emacs] update 10 drones

Update diff-hl       to  1.8.5-3-g2cddce4
Update doom-modeline to v1.1.0-11-g0d6e5f7
Update doom-themes   to v2.1.6-38-g2f4a0cd
Update evil-surround to  1.0.3-1-g9e445b7
Update ivy           to  0.10.0-547-g7ff7d1d
Update magit         to v2.90.1-73-gf6e04ddd
Update org           to release_9.1.14-1077-g255c9c165
Update projectile    to v1.0.0-211-gd625ecb
Update proof-site    to v4.4-222-g883ce2ff
Update slack         to  3f76747
---
 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 1854459..883ce2f 160000
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit 1854459fef368dfc8ca870792e7e3b065a2241c6
+Subproject commit 883ce2ff1092003b6341cfebd1d7b2ab31239a41
-- 
cgit v1.2.3-60-g2f50