diff configure.bat @ 483:08b0c420ddff

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