diff lispintro/configure.in @ 44536:f7b9d913406b

(marginal_area_string): New.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 12 Apr 2002 09:36:56 +0000
parents a8ee89e61d20
children 695cf19ef79e
line wrap: on
line diff