diff man/mini.texi @ 77599:d80221a6229e

~ description fixes from rms
author Karl Berry <karl@gnu.org>
date Sat, 28 Apr 2007 18:00:51 +0000
parents 3d45362f1d38
children 02b9a9aa5b0c 95d0cdf160ea
line wrap: on
line diff