diff options
| author | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-29 10:03:38 +0200 |
|---|---|---|
| committer | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-29 10:03:38 +0200 |
| commit | 26a4381c6948338f935e107880cdf0789f65cb12 (patch) | |
| tree | 58bb5d7c92d092e8ad22835034d7008c5b9b3008 /.circleci/config.yml | |
| parent | ccb0e44f107d1d09c178620566eeefd02feb6a4e (diff) | |
third parties are not required when WITH_GUDHI_CPP_DOCUMENTATION_ONLY, but hera submodule is mandatory. Moved in a new cmake module
Diffstat (limited to '.circleci/config.yml')
0 files changed, 0 insertions, 0 deletions