diff configure.bat @ 527:ed8835abe05f

- cosmetics
author Tassilo Philipp
date Thu, 14 Apr 2022 10:13:10 +0200
parents f5e9f7f8a932
children ed19b429a152
line wrap: on
line diff