[emacs] update 3 drones
authorAmin Bandali <bandali@gnu.org>
Wed, 12 Dec 2018 20:26:13 +0000 (15:26 -0500)
committerAmin Bandali <bandali@gnu.org>
Wed, 12 Dec 2018 20:26:13 +0000 (15:26 -0500)
Update lib/doom-modeline to v1.1.0-3-g14ac6dd
Update lib/ivy           to  0.10.0-526-g7e0fd2e
Update lib/proof-site    to v4.4-212-ga921439a

lib/doom-modeline
lib/ivy
lib/proof-site

index 2be5f28..14ac6dd 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 2be5f281845824d4a1dba9706a7ae1afa86286d0
+Subproject commit 14ac6ddbeb411665dc7058a696a2bc7f94e22846
diff --git a/lib/ivy b/lib/ivy
index 13df2a3..7e0fd2e 160000 (submodule)
--- a/lib/ivy
+++ b/lib/ivy
@@ -1 +1 @@
-Subproject commit 13df2a3219513a49b77bbcf643b242a45f480d03
+Subproject commit 7e0fd2e85c519e528a2afc50cf9754866eaf27cb
index 05df29f..a921439 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 05df29f7ff065d8da45b81691c602b6cf075e4a0
+Subproject commit a921439a4eb5b0d96182748e779c78e2f6a41a5f