diff configure @ 42078:056999d17bee

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 16 Dec 2001 17:57:16 +0000
parents 835df8cf4ef5
children b04a7400fcb8
line wrap: on
line diff