mirror of https://github.com/CGAL/cgal
Remove a minor bug (a sort of warning from the shell).
This commit is contained in:
parent
c5090b1fab
commit
870eae3556