diff man/mini.texi @ 64778:6de0f61d4874

(Fexpt): Undo previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 07 Aug 2005 17:47:33 +0000
parents 32f868f94f5a
children 3723093a21fd 187d6a1f84f7
line wrap: on
line diff