diff options
author | Benjamin Barenblat <bbaren@google.com> | 2019-04-26 16:41:41 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@google.com> | 2019-04-26 16:41:41 -0400 |
commit | 4483d41d6a510e01041f05546643934c9d2a887b (patch) | |
tree | 162e1630e3e4dc10d77a6587fa95d0e30f9cae25 /.gitmodules | |
parent | efdf63a5dd1dfbd4bafc121224c64822530185fe (diff) |
Remove bbv dependency
No code in fiat-crypto depends on bbv anymore, so delete it.
Closes https://github.com/mit-plv/fiat-crypto/issues/481.
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 |