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