diff configure.bat @ 445:4bd3ed699de8

name fix
author Tassilo Philipp
date Wed, 26 Jan 2022 18:41:31 +0100
parents f5e9f7f8a932
children ed19b429a152
line wrap: on
line diff