diff options
author | Amin Bandali <bandali@gnu.org> | 2018-12-22 10:41:51 -0500 |
---|---|---|
committer | Amin Bandali <bandali@gnu.org> | 2018-12-22 10:41:51 -0500 |
commit | fda74f52b706447243a113efa4c768c80ead09de (patch) | |
tree | ee77fff01c60c193c63fad53822baa3997948768 /.gitmodules | |
parent | 647af2f6c1adeaeacb4d86cc3376b985ea404f61 (diff) | |
download | configs-fda74f52b706447243a113efa4c768c80ead09de.tar.gz configs-fda74f52b706447243a113efa4c768c80ead09de.tar.xz configs-fda74f52b706447243a113efa4c768c80ead09de.zip |
[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
Diffstat (limited to '')
-rw-r--r-- | .gitmodules | 4 |
1 files changed, 2 insertions, 2 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 |