[cleanup] Delete some deprecated code

5 jobs for !2908 with cleanup/delete-r3.4-deprecations
latest detached
Status Name Job ID Coverage
  Trigger
manual full-dune-latest-release-clang
manual full-dune-latest-release-gcc
manual full-dune-master-gcc
manual minimal-dune-latest-release-gcc
 
  Downstream Modules
created trigger lecture