Wed, 23 Sep 2020 15:16:01 +0200 | Pierre-Yves David | sidedata: simply read removed files from the `ChangingFiles` object | changeset | files |
Wed, 23 Sep 2020 15:15:46 +0200 | Pierre-Yves David | sidedata: simply read added files from the `ChangingFiles` object | changeset | files |
Wed, 23 Sep 2020 15:13:44 +0200 | Pierre-Yves David | sidedata: add a `decode_files_sidedata` function | changeset | files |