diff msdos/sed1x.inp @ 18818:3c0dec827888

(texinfo-format-buffer-1): Insert, here, the info about what file this is and what it was made from, just before returning. (texinfo-format-setfilename): Generate no output.
author Richard M. Stallman <rms@gnu.org>
date Wed, 16 Jul 1997 05:29:01 +0000
parents b37425ecb3f0
children 695cf19ef79e
line wrap: on
line diff