diff configure @ 190:06ee88ce4962

- doc and comment fixes
author Tassilo Philipp
date Tue, 14 Mar 2017 00:07:31 +0100
parents ee0de14d5da0
children 700c67984c08
line wrap: on
line diff