diff man/mule.texi @ 32588:afbcd960831b

(diff-header-face, diff-file-header-face): Add specific setting for dark background. (diff-context-face): Renamed from diff-comment-face. Set explicitly rather than inheriting from font-lock-comment-face.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 17 Oct 2000 15:55:09 +0000
parents d65f9772ee72
children 78ec4a7ba765
line wrap: on
line diff