diff etc/ETAGS.EBNF @ 57203:6cbbae74d7ca

(enriched-default-text-properties-local-flag): New variable. (enriched-mode): Make sure that enabling and disabling the mode is a no-op. Doc fix.
author Luc Teirlinck <teirllm@auburn.edu>
date Thu, 23 Sep 2004 22:09:50 +0000
parents 27d26db0f6b1
children 3681678d3d86
line wrap: on
line diff