Restoring good RCS id.
authorKarl Berry <karl@gnu.org>
Fri, 2 Aug 1996 15:12:28 +0000 (15:12 +0000)
committerKarl Berry <karl@gnu.org>
Fri, 2 Aug 1996 15:12:28 +0000 (15:12 +0000)

No differences found