From a4e6db7e8a6337f59aa013a55af580efa1ad17e5 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Sat, 24 Nov 2018 18:09:06 -0500
Subject: [emacs] assimilate boogie-friends

---
 lib/boogie-friends | 1 +
 1 file changed, 1 insertion(+)
 create mode 160000 lib/boogie-friends

(limited to 'lib/boogie-friends')

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
-- 
cgit v1.2.3-60-g2f50