diff options
author | Gard Spreemann <gspr@nonempty.org> | 2019-12-18 10:11:36 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2019-12-18 10:11:36 +0100 |
commit | 01a7bae00279ce68b9c83ac8fb9b93fb392f0078 (patch) | |
tree | fe5ef3ad7c35308996ff37c2d34ecfdffeddce23 /src | |
parent | 192ea1dfa8870b73fd44f548684d691869a23783 (diff) |
Since 1e87e95397d1d7da76818509bd1d07509b4c46d7 we expect a header-only CGAL, so bump version requirement to 5.0.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions