diff --git a/dune.module b/dune.module index b8da09369c38043ab96a4bcfcf808f7d69711bda..9b3554eca12698cf4619cf3386d26785e3944f88 100644 --- a/dune.module +++ b/dune.module @@ -1,4 +1,4 @@ Module: dune-common -Version: 2.4-git +Version: 2.4 Maintainer: dune-devel@dune-project.org Whitespace-Hook: Yes