diff configure1.in @ 10615:db11ebed6573

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Tue, 31 Jan 1995 20:16:07 +0000
parents c1e70445780e
children
line wrap: on
line diff