diff configure @ 173:8402121e1737

- doc tweaks
author cslag
date Wed, 08 Feb 2017 12:54:05 +0100
parents ee0de14d5da0
children 700c67984c08
line wrap: on
line diff