mirror of https://github.com/CGAL/cgal
Renamed directory as the alphabetical index of ref pages needs all ref pages to be in the same directory
This commit is contained in:
parent
d183040bbe
commit
507c68897f
Loading…
Reference in New Issue