Mon, 06 Mar 2023 19:19:27 +0100 | Pierre-Yves David | undo-files: add a undoname closure to the _write_undo method | changeset | files |
Mon, 06 Mar 2023 13:31:04 +0100 | Pierre-Yves David | undo-files: cleanup backup when cleaning undos | changeset | files |