diff options
Diffstat (limited to 'mcon/U/d_msg_flags.U')
| -rw-r--r-- | mcon/U/d_msg_flags.U | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mcon/U/d_msg_flags.U b/mcon/U/d_msg_flags.U index d026889..0a94db3 100644 --- a/mcon/U/d_msg_flags.U +++ b/mcon/U/d_msg_flags.U @@ -1,4 +1,4 @@ -?RCS: $Id: d_msg_flags.U 170 2013-08-30 16:47:47Z rmanfredi $ +?RCS: $Id$ ?RCS: ?RCS: Copyright (c) 2006, Christian Biere ?RCS: |