-
Steffen Müthing authored
This is required to make the website build again. (cherry picked from commit d7383a1b ) Signed-off-by: Steffen Müthing <muething@dune-project.org>
b560c205
This is required to make the website build again. (cherry picked from commit d7383a1b ) Signed-off-by: Steffen Müthing <muething@dune-project.org>