diff options
| author | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-02-28 10:56:47 +0100 |
|---|---|---|
| committer | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-02-28 10:56:47 +0100 |
| commit | e7ba8967e9b5c3c7260522003d8f87e643b7912e (patch) | |
| tree | 7309a81e6f35430b1925de3736dab782bc2f8775 /.github | |
| parent | 4e63e52758daa7ef27782b4f129b7e55fa73de43 (diff) | |
doc review: reformulate the copy notes
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions