diff options
Diffstat (limited to '')
| -rw-r--r-- | .gitmodules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 21d05de..d5510fa 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 |