This repository has been archived on 2023-03-02. You can view files and clone it, but cannot push or open issues or pull requests.

David JULIEN 910de27373 Merge branch 'dev' into thesis ... mail!: simplify mailboxes names		2022-11-04 10:28:30 +01:00
..
config	Merge branch 'dev' into thesis	2022-11-04 10:28:30 +01:00