[emacs] tweak bindings a bit
[~bandali/configs] / .gitmodules
index 21d05de..c16e0b2 100644 (file)
 [submodule "auto-compile"]
        path = lib/auto-compile
        url = git@github.com:emacscollective/auto-compile.git
+[submodule "boogie-friends"]
+       path = lib/boogie-friends
+       url = git@github.com:boogie-org/boogie-friends.git
+       load-path = emacs
 [submodule "borg"]
        path = lib/borg
        url = git@github.com:emacscollective/borg.git
@@ -34,9 +38,6 @@
 [submodule "company"]
        path = lib/company
        url = git@github.com:company-mode/company-mode.git
-[submodule "counsel-notmuch"]
-       path = lib/counsel-notmuch
-       url = git@github.com:fuxialexander/counsel-notmuch.git
 [submodule "crux"]
        path = lib/crux
        url = git@github.com:bbatsov/crux.git
 [submodule "no-littering"]
        path = lib/no-littering
        url = git@github.com:emacscollective/no-littering.git
-[submodule "notmuch"]
-       path = lib/notmuch
-       url = https://git.notmuchmail.org/git/notmuch
-       load-path = emacs
-       info-path = doc/_build/texinfo
-       # build-nix-shell-packages = pkgconfig gitMinimal xapian gmime talloc zlib pythonPackages.sphinx pythonPackages.python texinfo
-       # build-step = ./configure --without-docs
-       # build-step = make
-       # build-step = make sphinx-texinfo
-       # build-step = borg-makeinfo
 [submodule "oauth2"]
        path = lib/oauth2
        url = git@github.com:emacsmirror/oauth2.git