comparison configure @ 1160:d88d62854d0b draft

Merge git://1.41.41.1/
author Ivo Smits <Ivo@UCIS.nl>
date Tue, 11 Mar 2014 00:05:21 +0100
parents df77b4da95f1
children 474071fa6e61
comparison
equal deleted inserted replaced
1158:955f269cc2c7 1160:d88d62854d0b