From d6ecc4ff3ad77f90712668db3ec1190845df48d5 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 22 Jan 2020 18:28:22 +0000
Subject: Add bbv library

---
 .gitmodules | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .gitmodules

(limited to '.gitmodules')

diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..3c4ea02
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "lib/bbv"]
+	path = lib/bbv
+	url = git@github.com:mit-plv/bbv.git
-- 
cgit