USED_ALUGRID_CONFORM_GRIDTYPE  578 src/config/config.h  #if HAVE_DUNE_GRID && defined ALUGRID_CONFORM && ! defined USED_ALUGRID_CONFORM_GRIDTYPE
USED_ALUGRID_CONFORM_GRIDTYPE  768 src/config/config.h  #if HAVE_DUNE_GRID && defined ALUGRID_CONFORM && ! defined USED_ALUGRID_CONFORM_GRIDTYPE
USED_ALUGRID_CONFORM_GRIDTYPE  578 src/config/config_osx.h  #if HAVE_DUNE_GRID && defined ALUGRID_CONFORM && ! defined USED_ALUGRID_CONFORM_GRIDTYPE
USED_ALUGRID_CONFORM_GRIDTYPE  768 src/config/config_osx.h  #if HAVE_DUNE_GRID && defined ALUGRID_CONFORM && ! defined USED_ALUGRID_CONFORM_GRIDTYPE
USED_ALUGRID_CONFORM_GRIDTYPE  579 src/config/config_ubuntu.h  #if HAVE_DUNE_GRID && defined ALUGRID_CONFORM && ! defined USED_ALUGRID_CONFORM_GRIDTYPE
USED_ALUGRID_CONFORM_GRIDTYPE  769 src/config/config_ubuntu.h  #if HAVE_DUNE_GRID && defined ALUGRID_CONFORM && ! defined USED_ALUGRID_CONFORM_GRIDTYPE