Restoring good RCS id.
authorkarl <karl>
Fri, 2 Aug 1996 15:12:28 +0000 (15:12 +0000)
committerkarl <karl>
Fri, 2 Aug 1996 15:12:28 +0000 (15:12 +0000)

No differences found