diff configure @ 321:72b450cc3be8

- cosmetics/cleanup
author Tassilo Philipp
date Sat, 16 Nov 2019 00:14:47 +0100
parents d2c8ea3ef2ed
children 09aaa2e774cd
line wrap: on
line diff