Skip to content
Snippets Groups Projects
Commit 3ce6a6f5 authored by Bernd Flemisch's avatar Bernd Flemisch
Browse files

remove unnecessary inclusions of dumux/common/properties.hh

parent dcb9b326
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