From b6b45fec8e6a3ad64303b0d455babd08e0009c4e Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 23 Jan 2020 11:00:58 +0000
Subject: Remove bbv

---
 .gitmodules | 3 ---
 1 file changed, 3 deletions(-)

(limited to '.gitmodules')

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