diff make-dist @ 100386:fae812e295b4

(Font Lock Basics): Fix level description. (Bug#1534) (Levels of Font Lock): Refer to font-lock-maximum-decoration.
author Glenn Morris <rgm@gnu.org>
date Sat, 13 Dec 2008 04:11:03 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff