diff man/mini.texi @ 39416:7b970afcfb82

Fix crossreferences. From Pavel@janik.cz (Pavel Jan,Bm(Bk).
author Gerd Moellmann <gerd@gnu.org>
date Mon, 24 Sep 2001 13:17:53 +0000
parents 523edbd58655
children de2f745df406
line wrap: on
line diff