diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2022-12-10 21:05:25 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2022-12-10 21:05:25 +0100 |
commit | 33b63b9d364bdb2d470a3eac878fe48e3a4e7da6 (patch) | |
tree | cdf75f9aecae7d851c4c82b7c04cb6a47b63684f /azure-pipelines.yml | |
parent | 8226f645e01c11ccfc7919327bb281b6f805bfa4 (diff) |
Clarify comment
Diffstat (limited to 'azure-pipelines.yml')
0 files changed, 0 insertions, 0 deletions