From e11d6d06e6eda3cd5940765dbbea420416725832 Mon Sep 17 00:00:00 2001
From: Samuel Gruetter <samuel.gruetter@epfl.ch>
Date: Fri, 2 Feb 2018 11:21:21 -0500
Subject: add bedrock bit vectors library (bbv) as a submodule replacing the
 Bedrock directory

---
 bbv | 1 +
 1 file changed, 1 insertion(+)
 create mode 160000 bbv

(limited to 'bbv')

diff --git a/bbv b/bbv
new file mode 160000
index 000000000..8bd42f213
--- /dev/null
+++ b/bbv
@@ -0,0 +1 @@
+Subproject commit 8bd42f21304d7a22c1b1225fe81236ad106a5309
-- 
cgit v1.2.3