annotate etc/splash.pbm @ 75591:a0f90fb2d33d

(set-face-underline-p, modify-face): Rename arg UNDERLINE-P to UNDERLINE (it is not a flag).
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 01 Feb 2007 16:30:13 +0000
parents b28c6e54c0f3
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
37000
b28c6e54c0f3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 36823
diff changeset
1 (binary:image/x-portable-bitmap)