diff configure @ 31843:eb85092953c6

Remove an unused variable.
author reimar
date Wed, 04 Aug 2010 12:23:22 +0000
parents 2cbafa9f6758
children 542ad87bf1b9
line wrap: on
line diff