From: grahambenharper Date: Mon, 27 Jan 2020 19:59:35 +0000 (-0700) Subject: Remove unused included file X-Git-Tag: v9.2.0-rc1~605^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9436%2Fhead;p=dealii.git Remove unused included file --- diff --git a/examples/step-6/step-6.cc b/examples/step-6/step-6.cc index 8a647f63b7..71e8889a5f 100644 --- a/examples/step-6/step-6.cc +++ b/examples/step-6/step-6.cc @@ -23,7 +23,6 @@ // The first few files have already been covered in previous examples and will // thus not be further commented on. #include -#include #include #include