diff configure1.in @ 12341:315c2aaf43a1

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