comparison make-dist @ 6591:60f70854e73f

(verify_overlay_modification): Copy TAIL before a hook, in case the hook recenters the overlay lists.
author Richard M. Stallman <rms@gnu.org>
date Wed, 30 Mar 1994 06:32:54 +0000
parents 76d9b1408e5c
children 15e380b232fa
comparison
equal deleted inserted replaced
6590:2c66255e9469 6591:60f70854e73f