diff options
| author | Matthieu Sozeau | 2020-12-02 16:31:59 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2020-12-03 16:03:37 +0100 |
| commit | dba9b80b25a75b9f210f87d4c1f58bc95ef33fa9 (patch) | |
| tree | d1ddd5c687568fd22461d2933aa03f6f58934592 /dev | |
| parent | 73eb97c9067caabe5dc93bbb4c5e68b5783f1787 (diff) | |
Apply suggestions from code review
Co-authored-by: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions