diff make-dist @ 4066:bb9478383bde

(verify_interval_modification): For insertion, run the insert-before-hooks and insert-after-hooks, not the modification-hooks.
author Richard M. Stallman <rms@gnu.org>
date Tue, 13 Jul 1993 02:19:50 +0000
parents 43a30cb1b170
children c720be6f3fae
line wrap: on
line diff