diff configure @ 13959:91b6a78856e5

miscellaneous fixes
author diego
date Wed, 17 Nov 2004 02:08:24 +0000
parents c012194ba7d7
children 63023fad13a0
line wrap: on
line diff