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)
commit9a01894149a5e0c14a9138271ac34cc47f996104
tree66e2648f5fc226de06e5e657dddc30b46d8d75c2
parente75154a665018d5756196275634704c95476ea6b
Restoring good RCS id.
manual/texinfo.tex