diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-03-12 22:37:43 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-03-12 23:03:45 +0100 |
commit | 62eb0a311da737a58ec704c3c5ad93da871e57a0 (patch) | |
tree | eebe4d73bc2b5333b7b6904de00e5468eba45c59 /.circleci | |
parent | 7a5b614aa3bd06897e0135f0cda4e61f16951b20 (diff) |
Point the hera submodule to github instead of bitbucket
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions