USED_SGRID_GRIDTYPE  908 src/config/config.h  #if HAVE_DUNE_GRID && defined SGRID && ! defined USED_SGRID_GRIDTYPE
USED_SGRID_GRIDTYPE  908 src/config/config_osx.h  #if HAVE_DUNE_GRID && defined SGRID && ! defined USED_SGRID_GRIDTYPE
USED_SGRID_GRIDTYPE  909 src/config/config_ubuntu.h  #if HAVE_DUNE_GRID && defined SGRID && ! defined USED_SGRID_GRIDTYPE