diff configure @ 411:8e98fd637f25 draft

Merge branch 'master' of git://1.3.9.1
author Ivo Smits <Ivo@UCIS.nl>
date Thu, 17 Feb 2011 01:30:10 +0100
parents 2f379a0b6461
children fd1945470e54
line wrap: on
line diff