mirror of https://github.com/CGAL/cgal
rename file to avoid cmake target name clash
This commit is contained in:
parent
44dbc70b92
commit
c5e12ae747
Loading…
Reference in New Issue