diff 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
line wrap: on
line diff