diff src/main-gui.cc @ 31194:e859837e620d

maint: Merge stable to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Thu, 18 Aug 2022 08:41:39 +0200
parents 796f54d4ddbf
children 59c9da7c43d6 ea0b06534a37
line wrap: on
line diff