summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2019-12-18 10:11:36 +0100
committerGard Spreemann <gspr@nonempty.org>2019-12-18 10:11:36 +0100
commit01a7bae00279ce68b9c83ac8fb9b93fb392f0078 (patch)
treefe5ef3ad7c35308996ff37c2d34ecfdffeddce23 /src
parent192ea1dfa8870b73fd44f548684d691869a23783 (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