diff configure @ 333:4e9d3cb9870f

- minor doc cleanups/cosmetics
author Tassilo Philipp
date Wed, 27 Nov 2019 19:55:18 +0100
parents 09aaa2e774cd
children fe31a2e3ac90
line wrap: on
line diff