diff make-dist @ 32603:87af45b9ad99

(diff-header-face, diff-file-header-face) (diff-changed-face): Add bold and italic attributes to tty faces. (diff-function-face): New face. (diff-font-lock-keywords): Use it.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 18 Oct 2000 08:50:39 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff