diff configure @ 114:a80ebfa16cd5

better debugging output (thanks to Paolo)
author meillo@marmaro.de
date Wed, 30 Jun 2010 15:00:59 +0200
parents 6538aa6969e5
children 311d4ac8a2eb
line wrap: on
line diff