diff configure @ 1184:80f04024e959 draft

Merge git://1.41.41.3.ip4.ano/resdb
author Ivo Smits <Ivo@UCIS.nl>
date Thu, 22 Oct 2015 21:58:27 +0200
parents 19953e9f422e
children
line wrap: on
line diff