diff man/mini.texi @ 43015:e4c362348aae

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