diff make-dist @ 4080:8200d631e3f3

(verify_interval_modification): Use Qinsert_in_front_hooks and Qinsert_behind_hooks instead of previous names.
author Richard M. Stallman <rms@gnu.org>
date Tue, 13 Jul 1993 21:08:45 +0000
parents 43a30cb1b170
children c720be6f3fae
line wrap: on
line diff