comparison man/info-stnd.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 539960b7d9ac
children
comparison
equal deleted inserted replaced
31837:49e95bff5053 31838:4d332437d465