diff man/mini.texi @ 42406:4c72bc09992b

(Info-mode): Reindent the doc-string.
author Pavel Janík <Pavel@Janik.cz>
date Sat, 29 Dec 2001 18:02:49 +0000
parents de2f745df406
children 5be168598322
line wrap: on
line diff