diff man/mini.texi @ 36165:7ae44c5a0404

One more small cleanup.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Feb 2001 17:43:17 +0000
parents 7476be16909f
children 7ce22edfb862
line wrap: on
line diff