diff configure @ 41660:1fd5c468b3da

(maybe_bootstrap): Fix previous change.
author Pavel Janík <Pavel@Janik.cz>
date Thu, 29 Nov 2001 06:45:38 +0000
parents 33fd5b0cc93e
children 30f353761d6c
line wrap: on
line diff