USED_ONEDGRID_GRIDTYPE 870 src/config/config.h #if HAVE_DUNE_GRID && defined ONEDGRID && ! defined USED_ONEDGRID_GRIDTYPE USED_ONEDGRID_GRIDTYPE 870 src/config/config_osx.h #if HAVE_DUNE_GRID && defined ONEDGRID && ! defined USED_ONEDGRID_GRIDTYPE USED_ONEDGRID_GRIDTYPE 871 src/config/config_ubuntu.h #if HAVE_DUNE_GRID && defined ONEDGRID && ! defined USED_ONEDGRID_GRIDTYPE