diff configure @ 1229:d8d8a2d317e2 draft

Merge git://21.41.41.1.ip4.ano/resdb
author Ivo Smits <Ivo@UCIS.nl>
date Tue, 21 May 2019 00:10:08 +0200
parents 19953e9f422e
children
line wrap: on
line diff