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 /_CoqProject | |
| 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 '_CoqProject')
0 files changed, 0 insertions, 0 deletions