diff configure.bat @ 405:e221473a8217

comment cleanups and clarification
author Tassilo Philipp
date Wed, 07 Apr 2021 18:51:38 +0200
parents f5e9f7f8a932
children ed19b429a152
line wrap: on
line diff