log

age author description
Tue, 04 Oct 2022 10:56:27 +0200 Raphaël Gomès branching: merge stable into default
Mon, 03 Oct 2022 14:24:12 +0200 Mathias De Mare mergetools: don't let meld open all changed files on startup