From f033ec05da148afa5bd684c0b7bb828da5c9bc40 Mon Sep 17 00:00:00 2001 From: Samuel Gruetter Date: Sun, 4 Feb 2018 12:45:21 -0500 Subject: switch to public bbv --- .gitmodules | 2 +- bbv | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index 5993f4d31..8d733fc83 100644 --- a/.gitmodules +++ b/.gitmodules @@ -3,4 +3,4 @@ url = https://github.com/JasonGross/coq-scripts.git [submodule "bbv"] path = bbv - url = git@github.mit.edu:plv/bbv.git + url = git@github.com:mit-plv/bbv.git diff --git a/bbv b/bbv index bf459e537..eb51f6fc0 160000 --- a/bbv +++ b/bbv @@ -1 +1 @@ -Subproject commit bf459e5378c13ca73cb5f2ca17ab2b55069ff82a +Subproject commit eb51f6fc08e1b721cb913bd48555bf2063b0edd6 -- cgit v1.2.3