diff configure1.in @ 15630:de5c3eda52fc

Undo previous change.
author Karl Heuer <kwzh@gnu.org>
date Sun, 07 Jul 1996 23:00:30 +0000
parents c1e70445780e
children
line wrap: on
line diff