diff options
author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2022-08-10 08:12:42 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-10 08:12:42 +0200 |
commit | 4f83706aa1263c04cb5e8763e1e8eb6c580bed3c (patch) | |
tree | 8170d537be00f9e31deb6f9287c6e48ac81147b5 /src/GudhUI/utils | |
parent | 61dca80e02d94559934a1ecff8f0923fbcc3436c (diff) | |
parent | 71cbf8f35814d247fe7421c079a6ea78da2282f4 (diff) |
Merge pull request #670 from VincentRouvreau/bug/fix_663
Adapt the use of CGAL::Modifiable_priority_queue for CGAL>=5.5 while keeping compatibility
Diffstat (limited to 'src/GudhUI/utils')
0 files changed, 0 insertions, 0 deletions