diff man/mini.texi @ 40568:c73c1890d989

(Fframe_live_p): Doc fix.
author Pavel Janík <Pavel@Janik.cz>
date Wed, 31 Oct 2001 15:05:48 +0000
parents de2f745df406
children 5be168598322
line wrap: on
line diff