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)
commit04bfa4d37c84c04aa01d56ac0940a1d4928babf2
tree772a7cee5eb88c8443d96889d975ed2cf53b503f
parent1cc46a483c1b1a3099d99a6f6528444cb5f220ec
Restoring good RCS id.