From a4e6db7e8a6337f59aa013a55af580efa1ad17e5 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Sat, 24 Nov 2018 18:09:06 -0500 Subject: [PATCH 1/1] [emacs] assimilate boogie-friends --- .gitmodules | 4 ++++ lib/boogie-friends | 1 + 2 files changed, 5 insertions(+) create mode 160000 lib/boogie-friends 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 diff --git a/lib/boogie-friends b/lib/boogie-friends new file mode 160000 index 0000000..ff99037 --- /dev/null +++ b/lib/boogie-friends @@ -0,0 +1 @@ +Subproject commit ff9903783013f3598b6f44c99d47b25c5cdbed00 -- 2.20.1