diff man/mini.texi @ 26680:4d9d1b066821

(UNEXEC): Use unexsgi.o instead of unexelf.o.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 02 Dec 1999 07:59:24 +0000
parents ac7e9e5e2ccb
children 99ca9ac9c31a
line wrap: on
line diff