diff options
Diffstat (limited to 'mcon/U/d_srandom.U')
| -rw-r--r-- | mcon/U/d_srandom.U | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mcon/U/d_srandom.U b/mcon/U/d_srandom.U index 7f4d867..d796023 100644 --- a/mcon/U/d_srandom.U +++ b/mcon/U/d_srandom.U @@ -1,4 +1,4 @@ -?RCS: $Id: d_srandom.U 167 2013-05-08 17:58:00Z rmanfredi $ +?RCS: $Id$ ?RCS: ?RCS: Copyright (c) 2006, Christian Biere ?RCS: |