diff src/s/hpux10.h @ 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 2f9062a74f0e
children 9e7e6fdddf0b
line wrap: on
line diff