comparison man/mini.texi @ 82776:e60bd7840253

Add more detail to existing entry.
author Glenn Morris <rgm@gnu.org>
date Thu, 23 Aug 2007 03:59:55 +0000
parents 3d45362f1d38
children 02b9a9aa5b0c 95d0cdf160ea
comparison
equal deleted inserted replaced
82775:113e0ae42f5d 82776:e60bd7840253