diff man/texinfo.tex @ 56231:6d7412bcd051

(Saving Buffers): Correct previous change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 24 Jun 2004 20:08:20 +0000
parents a93f1f4e2e49
children f164571769e0
line wrap: on
line diff