[emacs] assimilate boogie-friends

[~bandali/configs] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 069d432..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
@@ -57,6 +61,9 @@
 [submodule "diff-hl"]
        path = lib/diff-hl
        url = git@github.com:dgutov/diff-hl.git
+[submodule "ebdb"]
+       path = lib/ebdb
+       url = git@github.com:emacsmirror/ebdb.git
 [submodule "edit-indirect"]
        path = lib/edit-indirect
        url = git@github.com:Fanael/edit-indirect.git
@@ -82,6 +89,21 @@
 [submodule "epl"]
        path = lib/epl
        url = git@github.com:cask/epl.git
+[submodule "eshell-up"]
+       path = lib/eshell-up
+       url = git@github.com:peterwvj/eshell-up.git
+[submodule "evil"]
+       path = lib/evil
+       url = git@github.com:emacs-evil/evil.git
+[submodule "evil-escape"]
+       path = lib/evil-escape
+       url = git@github.com:syl20bnr/evil-escape.git
+[submodule "evil-nerd-commenter"]
+       path = lib/evil-nerd-commenter
+       url = git@github.com:redguardtoo/evil-nerd-commenter.git
+[submodule "evil-surround"]
+       path = lib/evil-surround
+       url = git@github.com:emacs-evil/evil-surround.git
 [submodule "exec-path-from-shell"]
        path = lib/exec-path-from-shell
        url = git@github.com:purcell/exec-path-from-shell.git
@@ -94,6 +116,9 @@
 [submodule "flycheck-haskell"]
        path = lib/flycheck-haskell
        url = git@github.com:flycheck/flycheck-haskell.git
+[submodule "general"]
+       path = lib/general
+       url = git@github.com:noctuid/general.el.git
 [submodule "ghub"]
        path = lib/ghub
        url = git@github.com:magit/ghub.git
@@ -116,9 +141,6 @@
 [submodule "helpful"]
        path = lib/helpful
        url = git@github.com:Wilfred/helpful.git
-[submodule "highlight-indent-guides"]
-       path = lib/highlight-indent-guides
-       url = git@github.com:DarthFennec/highlight-indent-guides.git
 [submodule "hl-todo"]
        path = lib/hl-todo
        url = git@github.com:tarsius/hl-todo.git