summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorVincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com>2021-01-04 22:13:27 +0100
committerGitHub <noreply@github.com>2021-01-04 22:13:27 +0100
commit6c1686e77b066525cd08d1d6f4c8e220bfef2c48 (patch)
tree2b93c69a69277920178e5b437a044f1d8c5d0283 /.github
parent792cffdae7d9ed501789b91ae61b2bb14e5d112a (diff)
parent3ffba81f566ccb05388cfabb5604befcdcfee1e5 (diff)
Merge pull request #444 from gspr/gspr/cgal52
Fix building with CGAL 5.2
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions