diff --git a/dune/common/deprecated.hh b/dune/common/deprecated.hh index a1bdc1ed70ad36d7f18de1b974080757bdd5b78e..4382e35162f334ccf719870639adf0f488b6163f 100644 --- a/dune/common/deprecated.hh +++ b/dune/common/deprecated.hh @@ -3,8 +3,6 @@ #ifndef DUNE_DEPRECATED_HH #define DUNE_DEPRECATED_HH -#warning This file has been deprecated in dune-common 2.1. There is no replacement, you may simply omit it. - //! @addtogroup Common //! @{ #if defined(DOXYGEN) or not defined(DUNE_DEPRECATED)