diff configure @ 205:5edaf22a261e

- doc update
author Tassilo Philipp
date Wed, 22 Mar 2017 12:06:32 +0100
parents ee0de14d5da0
children 700c67984c08
line wrap: on
line diff