USED_ALUGRID_DUMMY_DONT_USE_GRIDTYPE  540 src/config/config.h  #if HAVE_DUNE_GRID && defined ALUGRID_DUMMY_DONT_USE && ! defined USED_ALUGRID_DUMMY_DONT_USE_GRIDTYPE
USED_ALUGRID_DUMMY_DONT_USE_GRIDTYPE  540 src/config/config_osx.h  #if HAVE_DUNE_GRID && defined ALUGRID_DUMMY_DONT_USE && ! defined USED_ALUGRID_DUMMY_DONT_USE_GRIDTYPE
USED_ALUGRID_DUMMY_DONT_USE_GRIDTYPE  541 src/config/config_ubuntu.h  #if HAVE_DUNE_GRID && defined ALUGRID_DUMMY_DONT_USE && ! defined USED_ALUGRID_DUMMY_DONT_USE_GRIDTYPE