diff configure.in @ 9885:841621b2305f

Fix comment associated with previous change.
author Karl Heuer <kwzh@gnu.org>
date Thu, 10 Nov 1994 19:51:28 +0000
parents 463fd155c78d
children 74814eb19d67
line wrap: on
line diff