diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-08-08 17:51:11 +0200 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-08-08 17:51:11 +0200 |
| commit | 2a3423cb1fd5c666ad31c58c23bd394f3f13020d (patch) | |
| tree | d200c295e3574662a096782cd112a3d34db5e1ba /Dockerfile_ubuntu | |
| parent | ffff6615fe8e444f735767757f669f268542336e (diff) | |
ctest requires -C on Windows
Diffstat (limited to 'Dockerfile_ubuntu')
0 files changed, 0 insertions, 0 deletions