diff configure @ 637:7f89338dbd3f

- bad warning fix of prev commit
author Tassilo Philipp
date Mon, 21 Nov 2022 14:45:28 +0100
parents 965451c44faf
children
line wrap: on
line diff