diff configure.bat @ 403:a3e47b7c808c

- comment for clarity
author Tassilo Philipp
date Wed, 07 Apr 2021 17:55:59 +0200
parents f5e9f7f8a932
children ed19b429a152
line wrap: on
line diff