diff --git a/dune.module b/dune.module index 05e0fcc25fc223710e2cf2e25fe55c221b53e0b7..c8f508b18ccf7ebd60bec04e0c4de8fb861d16f0 100644 --- a/dune.module +++ b/dune.module @@ -1,2 +1,2 @@ Module: dune-common -Version: 1.1svn +Version: 1.0.1