Skip to content
Snippets Groups Projects
Commit 4f2878a8 authored by Kilian Weishaupt's avatar Kilian Weishaupt
Browse files

Merge branch 'cherry-pick-e76f9809' into 'releases/3.3' 

Merge branch 'feature/install-lowercase-foldername' into 'master'

See merge request dumux-repositories/dumux!2358
parents ecd7c0b7 bebe2990
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 3 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment