diff --git a/dune.module b/dune.module index f8d364fb1f075502ddd3af5dc548db7b1577d89c..5e7af54550d97972ba96377465d998d2faa9110a 100644 --- a/dune.module +++ b/dune.module @@ -1,3 +1,3 @@ Module: dune-common -Version: 1.3svn +Version: 2.1 svn Maintainer: dune@dune-project.org