diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-06-05 22:29:32 +0200 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-06-05 22:29:32 +0200 |
commit | dacc3e363ded8b68bb4b71c1602e2c52b10b36e5 (patch) | |
tree | 89e51fc502049bcdd31621ebe16c143b7c7a2a3a /azure-pipelines.yml | |
parent | cd0287d0d64a1227a665ff54f80a3e8ad44a7041 (diff) |
author, etc
Diffstat (limited to 'azure-pipelines.yml')
0 files changed, 0 insertions, 0 deletions