[emacs] Update proof-site to v4.4-226-g7389d438, tweak defer delays

[~bandali/configs] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 2e96608..83877c8 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -37,7 +37,7 @@
        url = git@github.com:company-mode/company-mode.git
 [submodule "company-ebdb"]
        path = lib/company-ebdb
-       url = git@github.com:emacsmirror/company-ebdb.git
+       url = git@github.com:emacs-straight/company-ebdb.git
 [submodule "crux"]
        path = lib/crux
        url = git@github.com:bbatsov/crux.git
@@ -184,6 +184,9 @@
 [submodule "multi-term"]
        path = lib/multi-term
        url = git@github.com:emacsorphanage/multi-term.git
+[submodule "multiple-cursors"]
+       path = lib/multiple-cursors
+       url = git@github.com:magnars/multiple-cursors.el.git
 [submodule "mwim"]
        path = lib/mwim
        url = git@github.com:alezost/mwim.el.git