From fda74f52b706447243a113efa4c768c80ead09de Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Sat, 22 Dec 2018 10:41:51 -0500 Subject: [emacs] Update 3 drones Update helm to v3.0-75-gcfa340c5 Update org to release_9.1.14-1105-g495c7c6a5 Update proof-site to v4.4-225-gf7cc8f1f --- .gitmodules | 4 ++-- lib/helm | 2 +- lib/org | 2 +- lib/proof-site | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.gitmodules b/.gitmodules index eb57246..b484d5a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -95,7 +95,7 @@ [submodule "geiser"] path = lib/geiser url = git@gitlab.com:jaor/geiser.git - info-path = doc/ + info-path = doc load-path = elisp build-step = ./autogen.sh build-step = ./configure @@ -112,7 +112,7 @@ [submodule "guix"] path = lib/guix url = git@github.com:alezost/guix.el.git - info-path = doc/ + info-path = doc load-path = elisp build-step = ./autogen.sh build-step = ./configure diff --git a/lib/helm b/lib/helm index d27efee..cfa340c 160000 --- a/lib/helm +++ b/lib/helm @@ -1 +1 @@ -Subproject commit d27efee1002e6afc31b0fea9e4c14fe6330d8437 +Subproject commit cfa340c545316c6913b1f9fa9ef24a0b4fb2473d diff --git a/lib/org b/lib/org index 908b551..495c7c6 160000 --- a/lib/org +++ b/lib/org @@ -1 +1 @@ -Subproject commit 908b55124cb1abdcb3b7b6e3276e0ac22c86d254 +Subproject commit 495c7c6a5774a4d3035c582a3b4c95eb04e83dd5 diff --git a/lib/proof-site b/lib/proof-site index ebb55c9..f7cc8f1 160000 --- a/lib/proof-site +++ b/lib/proof-site @@ -1 +1 @@ -Subproject commit ebb55c998867fd13f8767a52a9542447347f7dc1 +Subproject commit f7cc8f1f76baf5e517e51f1db47510ed605064e8 -- cgit v1.2.3-60-g2f50