[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
[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