comparison man/glossary.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 ac7e9e5e2ccb
children e7c4d54b3991
comparison
equal deleted inserted replaced
31837:49e95bff5053 31838:4d332437d465