diff options
| author |  Samuel Gruetter <samuel.gruetter@epfl.ch> | 2018-02-04 14:22:30 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-02-05 16:07:28 -0500 |
| commit | 5157dd8d86dc6d5cd3eb2430f5e67b5601f2ed76 (patch) | |
| tree | 65a4eb388dc55b0e7a5819b1953ce94fa3a55385 /.gitmodules | |
| parent | f033ec05da148afa5bd684c0b7bb828da5c9bc40 (diff) | |
make bbv submodule URL relative to origin, so that
developers will clone the submodule via ssh, while travis will clone it via https
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index 8d733fc83..fcb04e5ee 100644 --- a/.gitmodules +++ b/.gitmodules @@ -3,4 +3,4 @@ url = https://github.com/JasonGross/coq-scripts.git [submodule "bbv"] path = bbv - url = git@github.com:mit-plv/bbv.git + url = ../../mit-plv/bbv.git |