Skip to content

doc/refinement/*: remove executable bit from file permissions [ci skip]

Ansgar Burchardt requested to merge ansgar/dune-geometry:bugfix/remove-executable-bit into master

Merge request reports