diff configure.bat @ 559:52e87d4988e3

man page clarification
author Tassilo Philipp
date Sat, 03 Sep 2022 16:39:01 +0200
parents f5e9f7f8a932
children ed19b429a152
line wrap: on
line diff