diff man/misc.texi @ 73729:581994501499

(batch-texinfo-format): Fix typo in docstring.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 06 Nov 2006 02:18:40 +0000
parents 81a55a7dc3c3
children 217e6137471a a1a25ac6c88a
line wrap: on
line diff