diff configure @ 34307:91a288b94484

close @defopt.
author Dave Love <fx@gnu.org>
date Wed, 06 Dec 2000 20:51:15 +0000
parents fd29993d1f00
children de5d85f5717b
line wrap: on
line diff