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)
commita7f38314572e0664e40b7bd90d995198eaf04cd5
treeb5d2a33eab127c7d27f4a35f48fc56acf5600c01
parentbcd11d854bcc3c1d7a661dbb20f219694ff48492
Restoring good RCS id.