diff configure.bat @ 553:a93bb23fca8c

win build fix
author Tassilo Philipp
date Mon, 20 Jun 2022 15:25:01 +0200
parents f5e9f7f8a932
children ed19b429a152
line wrap: on
line diff