comparison configure @ 33219:ebb36e3d5299

merge heads
author Christian Brabandt <cb@256bit.org>
date Sat, 09 Sep 2023 10:23:28 +0200
parents a1ca6778da49
children
comparison
equal deleted inserted replaced
33218:781d3db79f70 33219:ebb36e3d5299