From d6ecc4ff3ad77f90712668db3ec1190845df48d5 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 22 Jan 2020 18:28:22 +0000 Subject: Add bbv library --- .gitmodules | 3 +++ lib/bbv | 1 + 2 files changed, 4 insertions(+) create mode 100644 .gitmodules create mode 160000 lib/bbv 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 diff --git a/lib/bbv b/lib/bbv new file mode 160000 index 0000000..9ec0365 --- /dev/null +++ b/lib/bbv @@ -0,0 +1 @@ +Subproject commit 9ec036507dbd592425576423f2a42256732a74d5 -- cgit