DUNE_ALUGRID_VERSION   12 src/config/config.h #define DUNE_ALUGRID_VERSION "2.3"
DUNE_ALUGRID_VERSION   12 src/config/config_osx.h #define DUNE_ALUGRID_VERSION "2.3"
DUNE_ALUGRID_VERSION   12 src/config/config_ubuntu.h #define DUNE_ALUGRID_VERSION "2.3"