[emacs] assimilate boogie-friends
authorAmin Bandali <bandali@gnu.org>
Sat, 24 Nov 2018 23:09:06 +0000 (18:09 -0500)
committerAmin Bandali <bandali@gnu.org>
Sat, 24 Nov 2018 23:09:06 +0000 (18:09 -0500)
.gitmodules
lib/boogie-friends [new submodule]

index 21d05de..d5510fa 100644 (file)
 [submodule "auto-compile"]
        path = lib/auto-compile
        url = git@github.com:emacscollective/auto-compile.git
 [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
 [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 (submodule)
index 0000000..ff99037
--- /dev/null
@@ -0,0 +1 @@
+Subproject commit ff9903783013f3598b6f44c99d47b25c5cdbed00