diff configure @ 29863:76769d27b6cf

cosmetic fixes as pointed out by diego
author ptt
date Thu, 12 Nov 2009 10:39:52 +0000
parents 356c49d60826
children ec407332afae
line wrap: on
line diff