diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-05-23 15:12:10 +0200 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-05-23 15:12:10 +0200 |
| commit | 56f9cfef7ff4d4b74ea833ce8a2d95ccbfea6ea2 (patch) | |
| tree | 55f26b01aa04b7040b999262c4f90f521dcc39ac /Dockerfile_ubuntu | |
| parent | 3c75b182a6943ec3c6c907259d469c92e1c3c494 (diff) | |
Try to ctest differently
Diffstat (limited to 'Dockerfile_ubuntu')
0 files changed, 0 insertions, 0 deletions