diff options
Diffstat (limited to 'boost/nondet_random.hpp')
-rw-r--r-- | boost/nondet_random.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boost/nondet_random.hpp b/boost/nondet_random.hpp index 0002e800b8..1ec2e446d9 100644 --- a/boost/nondet_random.hpp +++ b/boost/nondet_random.hpp @@ -5,7 +5,7 @@ * accompanying file LICENSE_1_0.txt or copy at * http://www.boost.org/LICENSE_1_0.txt) * - * $Id: nondet_random.hpp 71018 2011-04-05 21:27:52Z steven_watanabe $ + * $Id$ * * Revision history * 2000-02-18 Portability fixes (thanks to Beman Dawes) |