diff options
| author | Hugo Herbelin | 2020-04-21 11:02:15 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-04-21 11:02:15 +0200 |
| commit | 07c746c1bc54109db02f26b23cceee3a7fdf9992 (patch) | |
| tree | 85c5919d6bca5cf3754fb287fe6777d74c056f71 /dev/ci | |
| parent | 99c1a97da611210cc8322780c903875a9201929e (diff) | |
| parent | 8b9219a06fa72ec69ec404e97cf8c87de30f9965 (diff) | |
Merge PR #12014: [stdlib] Add properties of operations on vectors
Reviewed-by: herbelin
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions