diff --git a/dune.module b/dune.module index cb5aa33af58765f5a91fb996d6da413ebe9bdd23..19e74dbb15cbd3c2199862c9b99363feb80fe4f6 100644 --- a/dune.module +++ b/dune.module @@ -1,5 +1,5 @@ Module: dune-uggrid -Version: 2.5.2-git +Version: 2.5.2 Depends: dune-common (>= 2.5.0) Maintainer: dune-devel@lists.dune-project.org Whitespace-Hook: Yes