diff configure.in @ 18283:3909cd22d5e5

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Tue, 17 Jun 1997 21:47:30 +0000
parents 42b9cdc157b1
children 9963d76b1017
line wrap: on
line diff