diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-12-12 10:00:10 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-12-12 10:00:10 +0100 |
commit | 38f0ff98cf6da1e882b6b44fc3ed7b3d310fb91f (patch) | |
tree | cd5aeb1fc71bb14ff95015e6345efc3e6cada158 /src/common/doc | |
parent | 94118b7c5c723bf62dcdafd404d492e8d78d0019 (diff) |
Doc review: use ctest directly and provide options suggestions
Diffstat (limited to 'src/common/doc')
0 files changed, 0 insertions, 0 deletions