diff options
-rw-r--r-- | .gitmodules | 3 | ||||
m--------- | lib/bbv | 0 |
2 files changed, 0 insertions, 3 deletions
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 -Subproject 9ec036507dbd592425576423f2a42256732a74d |