diff man/mini.texi @ 43808:234792943059

Revert last change.
author Andreas Schwab <schwab@suse.de>
date Sat, 09 Mar 2002 20:11:46 +0000
parents de2f745df406
children 5be168598322
line wrap: on
line diff