diff lispintro/texinfo.tex @ 42078:056999d17bee

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 16 Dec 2001 17:57:16 +0000
parents a8ee89e61d20
children f267224443ae
line wrap: on
line diff