00001 #warning "Deprecated header, include <dune/grid/alugrid/common/defaultindexsets.hh> instead!" 00002 #include <dune/grid/alugrid/common/defaultindexsets.hh>