diff man/mini.texi @ 44325:79f4beb26480

Minor cleanups.
author Richard M. Stallman <rms@gnu.org>
date Mon, 01 Apr 2002 23:04:46 +0000
parents de2f745df406
children 5be168598322
line wrap: on
line diff