diff configure.bat @ 451:70e05a05785e

"
author Tassilo Philipp
date Thu, 27 Jan 2022 11:51:36 +0100
parents f5e9f7f8a932
children ed19b429a152
line wrap: on
line diff