USED_YASPGRID_GRIDTYPE  500 src/config/config.h  #if HAVE_DUNE_GRID && defined YASPGRID && ! defined USED_YASPGRID_GRIDTYPE
USED_YASPGRID_GRIDTYPE  500 src/config/config_osx.h  #if HAVE_DUNE_GRID && defined YASPGRID && ! defined USED_YASPGRID_GRIDTYPE
USED_YASPGRID_GRIDTYPE  501 src/config/config_ubuntu.h  #if HAVE_DUNE_GRID && defined YASPGRID && ! defined USED_YASPGRID_GRIDTYPE