diff configure @ 23560:04d8bd7d7c26

misc small fixes
author diego
date Mon, 18 Jun 2007 21:24:45 +0000
parents 49bfde0ecd33
children 0348714047be
line wrap: on
line diff