diff make-dist @ 8000:6d0a448be1ec

(face-equal): Do check the underline attribute.
author Richard M. Stallman <rms@gnu.org>
date Tue, 21 Jun 1994 20:22:56 +0000
parents cba3121c44b7
children bd5b4c5dda7f
line wrap: on
line diff