From b6b45fec8e6a3ad64303b0d455babd08e0009c4e Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 23 Jan 2020 11:00:58 +0000 Subject: Remove bbv --- .gitmodules | 3 --- lib/bbv | 1 - 2 files changed, 4 deletions(-) delete mode 160000 lib/bbv 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 diff --git a/lib/bbv b/lib/bbv deleted file mode 160000 index 9ec0365..0000000 --- a/lib/bbv +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 9ec036507dbd592425576423f2a42256732a74d5 -- cgit