@ -287,4 +287,4 @@ CMAKE_OPTIONS
echo "Done CGAL"
)
# ----------------------------------------------------------------- end-of-file
#------------------------------------------------------------------------------
The note is not visible to the blocked user.