Skip to content
Snippets Groups Projects
Commit 4b583f1e authored by Timo Koch's avatar Timo Koch
Browse files

Merge branch 'fix/obsolete-inclusions' into 'master'

remove unnecessary inclusions of dumux/common/properties.hh

See merge request !1003
parents 6de461e7 3ce6a6f5
No related branches found
No related tags found
1 merge request!1003remove unnecessary inclusions of dumux/common/properties.hh
Showing
with 1 addition and 23 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment