Skip to content
Snippets Groups Projects
Ansgar Burchardt's avatar
Ansgar Burchardt authored
doc/refinement/*: remove executable bit from file permissions [ci skip]

See merge request core/dune-geometry!95
4d6ee590
History
Name Last commit Last update