diff configure @ 263:5120c3bf578e draft

Merge branch 'master' of git://git1.somerandomnick.ano
author Ivo Smits <Ivo@UCIS.nl>
date Fri, 29 Oct 2010 11:30:04 +0200
parents 41b330b11a33
children b295bc1fe853
line wrap: on
line diff