From 42bcc3cfe1b2de3a4fcd91e5a12244695862cd1d Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@dune-project.org>
Date: Thu, 21 Apr 2011 12:42:53 +0000
Subject: [PATCH] mark the spurious 'revision' argument as deprecated

[[Imported from SVN: r6423]]
---
 dune/common/version.hh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/dune/common/version.hh b/dune/common/version.hh
index 60aa39f0b..46b6ca461 100644
--- a/dune/common/version.hh
+++ b/dune/common/version.hh
@@ -23,7 +23,9 @@
   ( DUNE_VERSION_EQUAL(module,major,minor) && \
     (DUNE_VERSION_JOIN(module,REVISION) == revision))
 
-/** \brief True if 'module' has the version major.minor or newer */
+/** \brief True if 'module' has the version major.minor or newer
+   \deprecated The 'revision' argument, only here by error, will be removed in the next release!
+ */
 #define DUNE_VERSION_NEWER(module,major,minor,revision) \
   ((DUNE_VERSION_JOIN(module,MAJOR) > major) \
    || ((DUNE_VERSION_JOIN(module,MAJOR) == major) && (DUNE_VERSION_JOIN(module,MINOR) >= minor)))
-- 
GitLab