diff configure @ 535:d717a5561335

- typo
author Tassilo Philipp
date Sat, 23 Apr 2022 15:05:03 +0200
parents 09aaa2e774cd
children fe31a2e3ac90
line wrap: on
line diff