diff man/mini.texi @ 29342:1b4cce65b60f

Revert last change -- duplicated.
author Dave Love <fx@gnu.org>
date Wed, 31 May 2000 21:14:26 +0000
parents 6f6d3c803dde
children e05819f22426
line wrap: on
line diff