diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2020-01-30 11:58:52 +0100 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2020-01-30 11:58:52 +0100 |
| commit | 48952ee2ad76e2f4e5ada7f038ff88dee496272a (patch) | |
| tree | f9ccf1cd58857eca88dc7dee3f29fbb6a9781b76 /.travis.yml | |
| parent | 4c8e4549818bb033b148632abba4eae9ae9407c3 (diff) | |
Allow use of preinstalled Hera
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions