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