diff configure @ 31837:46c25393f99d

Remove useless cast.
author reimar
date Tue, 03 Aug 2010 17:01:13 +0000
parents 2cbafa9f6758
children 542ad87bf1b9
line wrap: on
line diff