DUNE_ISTL_VERSION_MAJOR   94 src/config/config.h #define DUNE_ISTL_VERSION_MAJOR 2
DUNE_ISTL_VERSION_MAJOR   94 src/config/config_osx.h #define DUNE_ISTL_VERSION_MAJOR 2
DUNE_ISTL_VERSION_MAJOR   94 src/config/config_ubuntu.h #define DUNE_ISTL_VERSION_MAJOR 2