From: Amin Bandali <bandali@gnu.org>
Date: Sat, 24 Nov 2018 23:09:06 +0000 (-0500)
Subject: [emacs] assimilate boogie-friends
X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/configs/commitdiff_plain/a4e6db7e8a6337f59aa013a55af580efa1ad17e5

[emacs] assimilate 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