diff configure.bat @ 484:74a4f682d1ef

- improved comment
author Tassilo Philipp
date Thu, 17 Mar 2022 15:36:24 +0100
parents f5e9f7f8a932
children ed19b429a152
line wrap: on
line diff