-
Francesco Fambri authored
Default-value of the flag for the refinement criterion is chosen equal to 0.
724c8f5a
29. April 2024: Due to updates GitLab may be unavailable for some minutes between 10:00 and 12:00.
Default-value of the flag for the refinement criterion is chosen equal to 0.