diff BUGS @ 26290:df10644e22b5

Fix complaints from makeinfo 4.0.
author Dave Love <fx@gnu.org>
date Mon, 01 Nov 1999 18:06:55 +0000
parents 354e0c45cedf
children af68d12218d0
line wrap: on
line diff