diff admin/ChangeLog @ 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 e4cb3e4ca6e8
children 41263d3a8d8b 0796fc36c2bd
line wrap: on
line diff