X-Git-Url: https://git.shemshak.org/~bandali/configs/blobdiff_plain/7e18e28d4aa007047656a6f95fef36b23141f209..1b93c5be9d8a530d837fe680b33772f1968c248b:/.gitmodules

diff --git a/.gitmodules b/.gitmodules
index 21d05de..bbf0f16 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -19,6 +19,10 @@
 [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
@@ -208,16 +209,6 @@
 [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
@@ -274,9 +265,9 @@
 [submodule "s"]
 	path = lib/s
 	url = git@github.com:magnars/s.el.git
-[submodule "shell-pop"]
-	path = lib/shell-pop
-	url = git@github.com:kyagi/shell-pop-el.git
+[submodule "shell-toggle"]
+	path = lib/shell-toggle
+	url = git@github.com:knu/shell-toggle.el.git
 [submodule "shrink-path"]
 	path = lib/shrink-path
 	url = git@gitlab.com:bennya/shrink-path.el.git