diff configure @ 41378:5149031e1b55

Remove.
author Colin Walters <walters@gnu.org>
date Thu, 22 Nov 2001 20:34:57 +0000
parents 9a105fbe1d0c
children 33fd5b0cc93e
line wrap: on
line diff