diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-06-18 22:56:43 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-06-18 22:56:43 +0200 |
commit | 7e92bb3aeddd0cdd32a867ca7a827ed3ed93dbb4 (patch) | |
tree | 2d220e1b45a54676ec4b960c9d08a3c013cf874b /azure-pipelines.yml | |
parent | fc14ad2db5304508285804dc6165f044546b590e (diff) |
Code review: Use a flat (u, v, filt) instead of (pair(u, v), filt)
Diffstat (limited to 'azure-pipelines.yml')
0 files changed, 0 insertions, 0 deletions