comparison etc/letter.pbm @ 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 20c113076e20
children
comparison
equal deleted inserted replaced
57202:ce88ee86e383 57203:6cbbae74d7ca