diff configure1.in @ 4732:22e673b984fc

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Fri, 17 Sep 1993 16:43:38 +0000
parents 09e1fb3bf84d
children 083140e4419f
line wrap: on
line diff