diff etc/enriched.doc @ 13026:3ff15e408e2c

(signal_after_change): Call report_interval_modification.
author Richard M. Stallman <rms@gnu.org>
date Tue, 12 Sep 1995 17:37:02 +0000
parents 01d6f40201e1
children 1ea8008d4bd8
line wrap: on
line diff