diff configure @ 338:ee2b6e54b074

- minor refactoring for clarity
author Tassilo Philipp
date Fri, 03 Jan 2020 22:48:20 +0100
parents 09aaa2e774cd
children fe31a2e3ac90
line wrap: on
line diff