diff configure @ 483:08b0c420ddff

- cleanup
author Tassilo Philipp
date Thu, 17 Mar 2022 10:25:14 +0100
parents 09aaa2e774cd
children fe31a2e3ac90
line wrap: on
line diff