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