diff configure @ 444:1359f3b57219

revert error in last commit
author Tassilo Philipp
date Wed, 26 Jan 2022 16:18:59 +0100
parents 09aaa2e774cd
children fe31a2e3ac90
line wrap: on
line diff