summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2018-11-24 18:09:06 -0500
committerAmin Bandali <bandali@gnu.org>2018-11-24 18:09:06 -0500
commita4e6db7e8a6337f59aa013a55af580efa1ad17e5 (patch)
treedea9bab0b5658c082e2db90e396fea71fe2d08da
parent12a0f8f0caca07bcab2081d26c1c871f0bf41982 (diff)
downloadconfigs-a4e6db7e8a6337f59aa013a55af580efa1ad17e5.tar.gz
configs-a4e6db7e8a6337f59aa013a55af580efa1ad17e5.tar.xz
configs-a4e6db7e8a6337f59aa013a55af580efa1ad17e5.zip
[emacs] assimilate boogie-friends
Diffstat (limited to '')
-rw-r--r--.gitmodules4
m---------lib/boogie-friends0
2 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
diff --git a/lib/boogie-friends b/lib/boogie-friends
new file mode 160000
+Subproject ff9903783013f3598b6f44c99d47b25c5cdbed0