diff options
author | Benjamin Lee <benjamindlee@me.com> | 2020-10-06 04:29:45 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-06 10:29:45 +0200 |
commit | acd71dd6bb745eb08f81ab489d635951f8edfcfa (patch) | |
tree | be453e981adffc79f1d0abd92df0c5100630b841 /.gitignore | |
parent | aca1fae55a8009627888944afeb69f0a0141c160 (diff) | |
download | Nim-acd71dd6bb745eb08f81ab489d635951f8edfcfa.tar.gz |
Iterate over smaller set when computing intersection (#15497)
Closes #15496
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions