From e87abe21e1508a23d17c14b02ca9b0244b329106 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Wed, 12 Dec 2018 15:26:13 -0500 Subject: [emacs] update 3 drones 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/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 05df29f..a921439 160000 --- a/lib/proof-site +++ b/lib/proof-site @@ -1 +1 @@ -Subproject commit 05df29f7ff065d8da45b81691c602b6cf075e4a0 +Subproject commit a921439a4eb5b0d96182748e779c78e2f6a41a5f -- cgit v1.2.3-60-g2f50