diff options
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 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 |