diff configure @ 403:a3e47b7c808c

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