diff configure.in @ 15760:0489cb739a5f

(Lazy Properties): New node. (buffer-undo-list): New type of element for marker adjustment.
author Richard M. Stallman <rms@gnu.org>
date Tue, 23 Jul 1996 15:36:22 +0000
parents 80562f089595
children e367879c21df
line wrap: on
line diff