[bugfix] add missing header
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
[bugfix] add missing header
Tobias Malkmus
requested to merge
feature/add-missing-header
into
master
Feb 26, 2016
Overview
0
Commits
1
Pipelines
0
Changes
1
Header
dune/common/exceptions.hh
is not included but exceptions are used.
Merge request reports
Loading