diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2020-05-25 18:30:56 +0200 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2020-05-25 18:30:56 +0200 |
| commit | fc7da6849c40cc0caef0e86e452f6d1e2c8320d0 (patch) | |
| tree | ee1a5334370a3eaa41f0c53318879a30306536f5 /azure-pipelines.yml | |
| parent | c6bc508fe2f101f37fb7e1a940f3869122f7da71 (diff) | |
handle n<k
Diffstat (limited to 'azure-pipelines.yml')
0 files changed, 0 insertions, 0 deletions