summaryrefslogtreecommitdiffstats
path: root/doc/user/intr.t
diff options
context:
space:
mode:
Diffstat (limited to 'doc/user/intr.t')
-rw-r--r--doc/user/intr.t3
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/user/intr.t b/doc/user/intr.t
index 113e61cc4f..dd5c9c80d5 100644
--- a/doc/user/intr.t
+++ b/doc/user/intr.t
@@ -2,9 +2,6 @@
@c COPYRIGHT (c) 1988-2008.
@c On-Line Applications Research Corporation (OAR).
@c All rights reserved.
-@c
-@c $Id$
-@c
@chapter Interrupt Manager