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