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