diff configure.bat @ 367:2fb084f98439

- removed outdated comment
author Tassilo Philipp
date Mon, 20 Jul 2020 14:07:36 +0200
parents f5e9f7f8a932
children ed19b429a152
line wrap: on
line diff