USED_ALUGRID_SIMPLEX_GRIDTYPE  654 src/config/config.h  #if HAVE_DUNE_GRID && defined ALUGRID_SIMPLEX && ! defined USED_ALUGRID_SIMPLEX_GRIDTYPE
USED_ALUGRID_SIMPLEX_GRIDTYPE  836 src/config/config.h  #if HAVE_DUNE_GRID && defined ALUGRID_SIMPLEX && ! defined USED_ALUGRID_SIMPLEX_GRIDTYPE
USED_ALUGRID_SIMPLEX_GRIDTYPE  654 src/config/config_osx.h  #if HAVE_DUNE_GRID && defined ALUGRID_SIMPLEX && ! defined USED_ALUGRID_SIMPLEX_GRIDTYPE
USED_ALUGRID_SIMPLEX_GRIDTYPE  836 src/config/config_osx.h  #if HAVE_DUNE_GRID && defined ALUGRID_SIMPLEX && ! defined USED_ALUGRID_SIMPLEX_GRIDTYPE
USED_ALUGRID_SIMPLEX_GRIDTYPE  655 src/config/config_ubuntu.h  #if HAVE_DUNE_GRID && defined ALUGRID_SIMPLEX && ! defined USED_ALUGRID_SIMPLEX_GRIDTYPE
USED_ALUGRID_SIMPLEX_GRIDTYPE  837 src/config/config_ubuntu.h  #if HAVE_DUNE_GRID && defined ALUGRID_SIMPLEX && ! defined USED_ALUGRID_SIMPLEX_GRIDTYPE