comparison man/mule.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 55ce1d116cc7
children 30abf11e1b8e
comparison
equal deleted inserted replaced
31837:49e95bff5053 31838:4d332437d465