diff make-dist @ 19843:0c9342c1054d

(ps-face-bold-p): Use face-bold-p. (ps-face-italic-p): Use face-italic-p.
author Richard M. Stallman <rms@gnu.org>
date Tue, 09 Sep 1997 07:33:12 +0000
parents 53fa6bca2c89
children 07e5f3623def
line wrap: on
line diff