[emacs] assimilate boogie-friends

[~bandali/configs] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 21d05de..d5510fa 100644 (file)
--- 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