fix typo within include dirs
(cherry picked from commit ea98a4e0) Signed-off-by:Steffen Müthing <muething@dune-project.org>
Please register or sign in to comment
(cherry picked from commit ea98a4e0) Signed-off-by:Steffen Müthing <muething@dune-project.org>