Skip to content
Snippets Groups Projects
Commit 222d114c authored by Christoph Grüninger's avatar Christoph Grüninger
Browse files

Merge branch 'feature/add-missing-header' into 'master' 

[bugfix] add missing header

Header `dune/common/exceptions.hh` is not included but exceptions are used.

See merge request !29
parents 1b544df3 41adf7cc
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment