diff make-dist @ 31259:2be1770112c1

(default_face_vector): New function. (Finternal_merge_in_global_face): Use it instead of merge_face_vectors.
author Miles Bader <miles@gnu.org>
date Tue, 29 Aug 2000 11:18:16 +0000
parents 28cc44c6c08c
children f50932a70105
line wrap: on
line diff