diff AUTHORS @ 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 7d452938f4c8
children 13257ea43dbf
line wrap: on
line diff