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 /ext | |
| parent | 7a5b614aa3bd06897e0135f0cda4e61f16951b20 (diff) | |
Point the hera submodule to github instead of bitbucket
Diffstat (limited to 'ext')
0 files changed, 0 insertions, 0 deletions