comparison man/mini.texi @ 31379:58ff79ca361e

(DONTCOMPILE): Fix typo in file name.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 04 Sep 2000 19:44:28 +0000
parents e05819f22426
children 7476be16909f
comparison
equal deleted inserted replaced
31378:f44a8a68506f 31379:58ff79ca361e