diff man/text.texi @ 31838:4d332437d465

(fancy-splash-head): Use splash.pbm instead of splash.xbm.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 22 Sep 2000 11:19:46 +0000
parents 4efccb9e6f23
children 6fc3061bed75
line wrap: on
line diff