diff configure1.in @ 8131:9d47411b0548

Fix up previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 03 Jul 1994 20:36:31 +0000
parents edcb7fcf3f28
children bc485f942c5e
line wrap: on
line diff