diff man/mini.texi @ 41800:2d1098174c8a

Doc fixes.
author Pavel Janík <Pavel@Janik.cz>
date Mon, 03 Dec 2001 06:11:37 +0000
parents de2f745df406
children 5be168598322
line wrap: on
line diff