diff options
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 0a919ab11..ff4ce384d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,9 +1,6 @@ [submodule "etc/coq-scripts"] path = etc/coq-scripts url = https://github.com/JasonGross/coq-scripts.git -[submodule "bbv"] - path = bbv - url = ../../mit-plv/bbv.git [submodule "coqprime"] path = coqprime url = https://github.com/thery/coqprime |