diff options
Diffstat (limited to '')
| -rw-r--r-- | .gitmodules | 4 | ||||
| m--------- | lib/helm | 0 | ||||
| m--------- | lib/org | 0 | ||||
| m--------- | lib/proof-site | 0 |
4 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 diff --git a/lib/helm b/lib/helm -Subproject d27efee1002e6afc31b0fea9e4c14fe6330d843 +Subproject cfa340c545316c6913b1f9fa9ef24a0b4fb2473 diff --git a/lib/org b/lib/org -Subproject 908b55124cb1abdcb3b7b6e3276e0ac22c86d25 +Subproject 495c7c6a5774a4d3035c582a3b4c95eb04e83dd diff --git a/lib/proof-site b/lib/proof-site -Subproject ebb55c998867fd13f8767a52a9542447347f7dc +Subproject f7cc8f1f76baf5e517e51f1db47510ed605064e |