diff man/mini.texi @ 44162:7482068b3fc6

Fix typo.
author Pavel Janík <Pavel@Janik.cz>
date Tue, 26 Mar 2002 11:08:47 +0000
parents de2f745df406
children 5be168598322
line wrap: on
line diff