diff man/mini.texi @ 54258:baeae7be621d

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 04 Mar 2004 16:56:14 +0000
parents 695cf19ef79e
children 3264fbd6f6f5 375f2633d815
line wrap: on
line diff