Remove #warning reminders
There are two reminders to rethink the dune-istl interface in form of #warning. These are annoying and do not convey any information to the user.
There are two reminders to rethink the dune-istl interface in form of #warning. These are annoying and do not convey any information to the user.