mirror of https://github.com/CGAL/cgal
Merge branch 'releases/CGAL-4.6-branch'
That is a null-merge, to register that 'master' contains
'releases/CGAL-4.6-branch'.
Done with:
git merge -s ours releases/CGAL-4.6-branch
This commit is contained in:
commit
9e9126ef73